Cylindrical Algebraic Decomposition in the RegularChains Library (Q2879157)

From MaRDI portal
Revision as of 20:30, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Cylindrical Algebraic Decomposition in the RegularChains Library
scientific article

    Statements

    Cylindrical Algebraic Decomposition in the RegularChains Library (English)
    0 references
    0 references
    0 references
    8 September 2014
    0 references
    cylindrical algebraic decomposition
    0 references
    triangular decomposition
    0 references
    RegularChains
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references