Study of \(D\)-decompositions by the methods of computational real-valued algebraic geometry (Q2393036)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Study of \(D\)-decompositions by the methods of computational real-valued algebraic geometry
scientific article

    Statements

    Study of \(D\)-decompositions by the methods of computational real-valued algebraic geometry (English)
    0 references
    0 references
    7 August 2013
    0 references
    0 references
    symbolic calculation system maple
    0 references
    cylindrical decomposition
    0 references
    Gröbner bases
    0 references
    computational real-valued algebraic geometry
    0 references
    0 references