Cylindrical algebraic decomposition using local projections
From MaRDI portal
Publication:5963393
DOI10.1016/j.jsc.2015.11.018zbMath1350.14042OpenAlexW2194192157MaRDI QIDQ5963393
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
Symbolic computation and algebraic computation (68W30) Computational aspects and applications of commutative rings (13P99) Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (6)
Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures ⋮ Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 ⋮ Application of quantifier elimination to inverse buckling problems ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Variant quantifier elimination
- Quantifier elimination for real algebra -- the quadratic case and beyond
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- 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 and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Nonlinear control system design by quantifier elimination
- Computing in the field of complex algebraic numbers
- Solving systems of strict polynomial inequalities
- Cylindrical algebraic decomposition using validated numerics
- Computing cylindrical algebraic decomposition via triangular decomposition
- Solving Non-linear Arithmetic
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- On propagation of equational constraints in CAD-based quantifier elimination
- Constructing a single open cell in a cylindrical algebraic decomposition
- Applying Linear Quantifier Elimination
- QEPCAD B
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Algorithms in real algebraic geometry
- Improved projection for cylindrical algebraic decomposition
This page was built for publication: Cylindrical algebraic decomposition using local projections
