Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Cylindrical algebraic decomposition with equational constraints - MaRDI portal

Cylindrical algebraic decomposition with equational constraints (Q2307622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cylindrical algebraic decomposition with equational constraints
scientific article

    Statements

    title
    Cylindrical algebraic decomposition with equational constraints (English)
    0 references
    author
    Matthew England
    0 references
    Russell J. Bradford
    0 references
    James H. Davenport
    0 references
    publication date
    24 March 2020
    0 references
    zbMATH DE Number
    7181618
    0 references
    zbMATH Keywords
    cylindrical algebraic decomposition
    0 references
    nonlinear real arithmetic
    0 references
    describes a project that uses
    MetiTarski
    0 references
    CoCoALib
    0 references
    CoCoA
    0 references
    QEPCAD
    0 references
    RegularChains
    0 references
    SMT-LIB
    0 references
    ProjectionCAD
    0 references
    Theoryguru
    0 references
    OpenAlex ID
    W2963334000
    0 references
    arXiv ID
    1903.08999
    0 references
    cites work
    What Is New in CoCoA?
    0 references
    Q5503674
    0 references
    QEPCAD B
    0 references
    Q5301651
    0 references
    Q4079605
    0 references
    Q4391213
    0 references
    Q4660688
    0 references
    Q4295433
    0 references
    Iterated discriminants
    0 references
    Q4391223
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2307622&oldid=36570677"
    Powered by MediaWiki