Faster one block quantifier elimination for regular polynomial systems of equations

DOI10.1145/3452143.3465546MaRDI QIDQ6666546

Huu Phuoc Le, M. Safey El Din

Publication date: 20 January 2025

zbMATH Keywords

quantifier eliminationpolynomial system solvingeffective real algebraic geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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