An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions

DOI10.1007/978-3-662-43799-5_17zbMath1352.68291arXiv1210.5543OpenAlexW1482222746MaRDI QIDQ2799562

Marc Moreno Maza, Changbo Chen

Publication date: 12 April 2016

Published in: Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.5543

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Chordality Preserving Incremental Triangular Decomposition and Its Implementation, Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks, Recent Advances in Real Geometric Reasoning, Computing with Tarski formulas and semi-algebraic sets in a web browser, Adapting Real Quantifier Elimination Methods for Conflict Set Computation, What does ``without loss of generality mean, and how do we detect it, Cylindrical algebraic sub-decompositions, Using machine learning to improve cylindrical algebraic decomposition, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

Uses Software

• Maple
• QEPCAD
• REDLOG

Cites Work

• Unnamed Item
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• Partial cylindrical algebraic decomposition for quantifier elimination
• Decomposing polynomial systems into simple systems
• Computing triangular systems and regular systems
• Interval arithmetic in cylindrical algebraic decomposition
• Optimizations of the subresultant algorithm
• Solving systems of strict polynomial inequalities
• Cylindrical algebraic decomposition using validated numerics
• Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
• QEPCAD B
• Improved projection for cylindrical algebraic decomposition