Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
From MaRDI portal
Publication:2879312
DOI10.1007/978-3-319-10515-4_4zbMath1350.68293arXiv1401.6310OpenAlexW1485955744WikidataQ59590581 ScholiaQ59590581MaRDI QIDQ2879312
Marc Moreno Maza, Changbo Chen, Matthew England, Russell J. Bradford, James H. Davenport, David J. Wilson
Publication date: 8 September 2014
Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.6310
Symbolic computation and algebraic computation (68W30) Real algebraic and real-analytic geometry (14P99) Computational aspects in algebraic geometry (14Q99)
Related Items
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks ⋮ Recent Advances in Real Geometric Reasoning ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⋮ Need Polynomial Systems Be Doubly-Exponential? ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Quantifier elimination by cylindrical algebraic decomposition based on regular chains ⋮ The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree ⋮ 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
Uses Software