Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

DOI10.1007/978-3-319-08434-3_5zbMath1304.68223arXiv1404.6371OpenAlexW1797874232WikidataQ59590579 ScholiaQ59590579MaRDI QIDQ5495913

Changbo Chen, Marc Moreno Maza, Matthew England, James H. Davenport, David J. Wilson, Russell J. Bradford

Publication date: 7 August 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

cylindrical algebraic decompositiontriangular decompositionregular chainsproblem formulationtruth-table invariance

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects in algebraic geometry (14Q99)

Related Items

Recent Advances in Real Geometric Reasoning, Using machine learning to improve cylindrical algebraic decomposition, Truth table invariant cylindrical algebraic decomposition, Need Polynomial Systems Be Doubly-Exponential?, Cylindrical algebraic decomposition with equational constraints, From simplification to a partial theory solver for non-linear real polynomial constraints, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

Uses Software

• Maple
• MetiTarski
• QEPCAD
• BranchCuts

Cites Work

• Unnamed Item
• Unnamed Item
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• On mechanical quantifier elimination for elementary algebra and geometry
• Partial cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• Algorithmic methods for investigating equilibria in epidemic modeling
• An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
• Optimising Problem Formulation for Cylindrical Algebraic Decomposition
• Understanding Branch Cuts of Expressions
• Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
• Computing cylindrical algebraic decomposition via triangular decomposition
• MetiTarski: Past and Future
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decompositions for boolean combinations
• Efficient projection orders for CAD
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Truth table invariant cylindrical algebraic decomposition