Fully incremental cylindrical algebraic decomposition (Q2307621)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fully incremental cylindrical algebraic decomposition
scientific article

    Statements

    title
    Fully incremental cylindrical algebraic decomposition (English)
    0 references
    author
    Gereon Kremer
    0 references
    Erika Ábrahám
    0 references
    publication date
    24 March 2020
    0 references
    zbMATH Keywords
    cylindrical algebraic decomposition
    0 references
    incrementality
    0 references
    backtracking
    0 references
    satisfiability modulo theories
    0 references
    describes a project that uses
    Maple
    0 references
    SMT-RAT
    0 references
    QEPCAD
    0 references
    RegularChains
    0 references
    SMT-LIB
    0 references
    cites work
    QEPCAD B
    0 references
    Q4079605
    0 references
    Q4391213
    0 references
    Q4295433
    0 references
    Q3416657
    0 references
    Q4391223
    0 references

    Identifiers

    zbMATH DE Number
    7181617
    0 references
    OpenAlex ID
    W2965351780
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2307621&oldid=36570676"
    Powered by MediaWiki