Faster one block quantifier elimination for regular polynomial systems of equations
From MaRDI portal
Publication:6666546
DOI10.1145/3452143.3465546MaRDI QIDQ6666546
Publication date: 20 January 2025
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the complexity of the generalized MinRank problem
- Variant quantifier elimination
- The complexity of linear problems in fields
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Real quantifier elimination is doubly exponential
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- Partial cylindrical algebraic decomposition for quantifier elimination
- Comprehensive Gröbner bases
- Complexity of deciding Tarski algebra
- A new approach for automatic theorem proving in real geometry
- On the complexity of the \(F_5\) Gröbner basis algorithm
- Cylindrical algebraic decomposition using validated numerics
- A new decision method for elementary algebra
- Variant real quantifier elimination
- On the Complexity of Computing Critical Points with Gröbner Bases
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes
- A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets
- Efficient Preprocessing Methods for Quantifier Elimination
- On the combinatorial and algebraic complexity of quantifier elimination
- Extrait d'une lettre de Mr. Ch. Hermite de Paris à Mr. Borchardt de Berlin sur le nombre des racines d'une équation algébrique comprises entre des limites données.
- Algebraic Degree of Polynomial Optimization
- Verification and synthesis using real quantifier elimination
- Basic Algebraic Geometry 1
- Artificial Intelligence and Symbolic Computation
- FGb: A Library for Computing Gröbner Bases
- Algorithms in real algebraic geometry
- Improved projection for cylindrical algebraic decomposition
This page was built for publication: Faster one block quantifier elimination for regular polynomial systems of equations
