Cylindrical algebraic decomposition using local projections
DOI10.1016/J.JSC.2015.11.018zbMATH Open1350.14042OpenAlexW2194192157MaRDI QIDQ5963393FDOQ5963393
Publication date: 19 February 2016
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2015.11.018
Recommendations
Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Semialgebraic sets and related spaces (14P10) Quantifier elimination, model completeness, and related topics (03C10) Computational aspects and applications of commutative rings (13P99)
Cites Work
- QEPCAD B
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Solving systems of strict polynomial inequalities
- Computing cylindrical algebraic decomposition via triangular decomposition
- Title not available (Why is that?)
- Algorithms in real algebraic geometry
- Solving Non-linear Arithmetic
- Title not available (Why is that?)
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Title not available (Why is that?)
- Improved projection for cylindrical algebraic decomposition
- Solving systems of polynomial inequalities in subexponential time
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Cylindrical algebraic decomposition using validated numerics
- On propagation of equational constraints in CAD-based quantifier elimination
- Applying Linear Quantifier Elimination
- Variant quantifier elimination
- Title not available (Why is that?)
- Nonlinear control system design by quantifier elimination
- Constructing a single open cell in a cylindrical algebraic decomposition
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Computing in the field of complex algebraic numbers
- Cylindrical algebraic decomposition using local projections
Cited In (17)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures
- Using machine learning to improve cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- Application of quantifier elimination to inverse buckling problems
- Local box adjacency algorithms for cylindrical algebraic decompositions
- Constructing a single cell in cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using validated numerics
- Improved projection for cylindrical algebraic decomposition
- Efficient projection orders for CAD
- QEPCAD B
- Title not available (Why is that?)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
- Title not available (Why is that?)
- Title not available (Why is that?)
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- Title not available (Why is that?)
Uses Software
This page was built for publication: Cylindrical algebraic decomposition using local projections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5963393)
