Cylindrical algebraic decomposition using local projections
DOI10.1016/J.JSC.2015.11.018zbMATH Open1350.14042OpenAlexW2194192157MaRDI QIDQ5963393FDOQ5963393
Authors: Adam Strzeboński 
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 (28)
- Constructing fewer open cells by GCD computation in CAD projection
- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- 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
- Constructing a single open cell in a cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- Cylindrical algebraic decomposition using local projections
- 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
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Title not available (Why is that?)
- CAD and topology of semi-algebraic sets
- Open weak CAD and its applications
- Computing cylindrical algebraic decomposition via triangular decomposition
- Title not available (Why is that?)
- Regular cylindrical algebraic decomposition
- Title not available (Why is that?)
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
- An incremental algorithm for computing cylindrical algebraic decompositions
- Cylindrical algebraic decomposition in the RegularChains library
- 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)
