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 (22)
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
This page was built for publication: Truth table invariant cylindrical algebraic decomposition
