Cylindrical algebraic decomposition with equational constraints
type: Item
instance of: scholarly article
title: Cylindrical algebraic decomposition with equational constraints
zbMATH Open document ID: 1432.68599
author: Matthew England
author: Russell Bradford
author: James H. Davenport
published in: Journal of Symbolic Computation
publication date: 2020-03-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/1903.08999
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 7181618
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: nonlinear real arithmetic
describes a project that uses: MetiTarski
describes a project that uses: CoCoALib
describes a project that uses: CoCoA
describes a project that uses: QEPCAD
describes a project that uses: RegularChains
describes a project that uses: SMT-LIB
describes a project that uses: ProjectionCAD
describes a project that uses: Theoryguru
MaRDI profile type: Publication
OpenAlex ID: W2963334000
arXiv ID: 1903.08999
cites work: What Is New in CoCoA?
cites work: $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
cites work: Q5503674
cites work: Algorithms in real algebraic geometry
cites work: Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
cites work: A Case Study on the Parametric Occurrence of Multiple Steady States
cites work: Identifying the parametric occurrence of multiple steady states for some biological networks
cites work: Cylindrical algebraic decompositions for boolean combinations
cites work: Truth table invariant cylindrical algebraic decomposition
cites work: Optimising Problem Formulation for Cylindrical Algebraic Decomposition
cites work: Improved projection for cylindrical algebraic decomposition
cites work: QEPCAD B
cites work: Constructing a single open cell in a cylindrical algebraic decomposition
cites work: Open non-uniform cylindrical algebraic decompositions
cites work: Q5301651
cites work: Algorithmic methods for investigating equilibria in epidemic modeling
cites work: On using bi-equational constraints in CAD construction
cites work: Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
cites work: Explicit factors of some iterated resultants and discriminants
cites work: Computing cylindrical algebraic decomposition via triangular decomposition
cites work: Q4079605
cites work: Q4391213
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Real quantifier elimination is doubly exponential
cites work: Efficient projection orders for CAD
cites work: Machine learning for mathematical software
cites work: Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
cites work: Improving the use of equational constraints in cylindrical algebraic decomposition
cites work: The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
cites work: Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
cites work: Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
cites work: Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
cites work: Q4660688
cites work: Real quantifier elimination by computation of comprehensive Gröbner systems
cites work: Constructing fewer open cells by GCD computation in CAD projection
cites work: Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
cites work: Using machine learning to improve cylindrical algebraic decomposition
cites work: An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
cites work: Le formalisme du résultant. (The formalism of resultant)
cites work: Solving Non-linear Arithmetic
cites work: Q4295433
cites work: Iterated discriminants
cites work: A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition
cites work: The complexity of the word problems for commutative semigroups and polynomial ideals
cites work: Dimension-dependent bounds for Gröbner bases of polynomial ideals
cites work: Q4391223
cites work: Factors of iterated resultants and discriminants
cites work: On propagation of equational constraints in CAD-based quantifier elimination
cites work: On delineability of varieties in CAD-based quantifier elimination with two equational constraints
cites work: On using Lazard's projection in CAD construction
cites work: Validity proof of Lazard's method for CAD construction
cites work: TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
cites work: MetiTarski: Past and Future
cites work: On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds

Cylindrical algebraic decomposition with equational constraints (cites work)
cites work: Cylindrical algebraic decomposition using validated numerics

Cylindrical algebraic decomposition with equational constraints (cites work)
cites work: Cylindrical algebraic decomposition using local projections

Cylindrical algebraic decomposition with equational constraints (cites work)
cites work: Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases

Cylindrical algebraic decomposition with equational constraints (cites work)
cites work: Cylindrical algebraic sub-decompositions

Cylindrical algebraic decomposition with equational constraints (DOI)
DOI: 10.1016/J.JSC.2019.07.019