Truth table invariant cylindrical algebraic decomposition
From MaRDI portal
Publication:5963392
DOI10.1016/j.jsc.2015.11.002zbMath1351.68314arXiv1401.0645OpenAlexW1916563250WikidataQ59590566 ScholiaQ59590566MaRDI QIDQ5963392
Scott McCallum, Matthew England, James H. Davenport, Russell J. Bradford, David J. Wilson
Publication date: 19 February 2016
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.0645
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, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Lazard-style CAD and Equational Constraints, Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations, Regular cylindrical algebraic decomposition, Levelwise construction of a single cylindrical algebraic cell, Cylindrical algebraic sub-decompositions, Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1, Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Validity proof of Lazard's method for CAD construction, Using machine learning to improve cylindrical algebraic decomposition, Identifying the parametric occurrence of multiple steady states for some biological networks, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, Need Polynomial Systems Be Doubly-Exponential?, Fully incremental cylindrical algebraic decomposition, Cylindrical algebraic decomposition with equational constraints, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition, Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure, 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cylindrical algebraic sub-decompositions
- On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- A cluster-based cylindrical algebraic decomposition algorithm
- Real quantifier elimination is doubly exponential
- Partial cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decomposition using validated numerics
- Algorithmic methods for investigating equilibria in epidemic modeling
- Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition
- Understanding Branch Cuts of Expressions
- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
- Computing cylindrical algebraic decomposition via triangular decomposition
- Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
- Solving Non-linear Arithmetic
- MetiTarski: Past and Future
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- On propagation of equational constraints in CAD-based quantifier elimination
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Cylindrical algebraic decompositions for boolean combinations
- Constructing a single open cell in a cylindrical algebraic decomposition
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
- Constructing fewer open cells by GCD computation in CAD projection
- Development of SyNRAC
- On the combinatorial and algebraic complexity of quantifier elimination
- Efficient projection orders for CAD
- QEPCAD B
- Geometry of branch cuts
- A repository for CAD examples
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- On using bi-equational constraints in CAD construction
- Branch cuts in maple 17
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
- Improved projection for cylindrical algebraic decomposition
