Cylindrical algebraic decomposition using local projections
From MaRDI portal
Publication:5963393
Recommendations
Cites work
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1302474 (Why is no real title available?)
- scientific article; zbMATH DE number 1157658 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Algorithms in real algebraic geometry
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Applying Linear Quantifier Elimination
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Computing cylindrical algebraic decomposition via triangular decomposition
- Computing in the field of complex algebraic numbers
- Constructing a single open cell in a cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
- Cylindrical algebraic decomposition using validated numerics
- Improved projection for cylindrical algebraic decomposition
- Nonlinear control system design by quantifier elimination
- On propagation of equational constraints in CAD-based quantifier elimination
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- QEPCAD B
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Solving non-linear arithmetic
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Solving systems of polynomial inequalities in subexponential time
- Solving systems of strict polynomial inequalities
- Variant quantifier elimination
Cited in
(28)- Cylindrical algebraic decomposition with equational constraints
- scientific article; zbMATH DE number 1574481 (Why is no real title available?)
- Constructing fewer open cells by GCD computation in CAD projection
- CAD and topology of semi-algebraic sets
- Using machine learning to improve cylindrical algebraic decomposition
- Cylindrical algebraic decomposition in the RegularChains library
- Open weak CAD and its applications
- Computing cylindrical algebraic decomposition via triangular decomposition
- scientific article; zbMATH DE number 3945340 (Why is no real title available?)
- Constructing a single open cell in a cylindrical algebraic decomposition
- scientific article; zbMATH DE number 1157654 (Why is no real title available?)
- Cylindrical algebraic decomposition using validated numerics
- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- Improved projection for cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
- QEPCAD B
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Application of quantifier elimination to inverse buckling problems
- Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures
- Regular cylindrical algebraic decomposition
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Local box adjacency algorithms for cylindrical algebraic decompositions
- Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
- Constructing a single cell in cylindrical algebraic decomposition
- Efficient projection orders for CAD
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- scientific article; zbMATH DE number 3880114 (Why is no real title available?)
- An incremental algorithm for computing cylindrical algebraic decompositions
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)
