Variant real quantifier elimination: algorithm and application

DOI10.1145/1576702.1576729MaRDI QIDQ2883815zbMATH OpenOpenAlexFDO

Authors Hoon Hong, Mohab Safey El Din

Publication date 13 May 2012

Published in Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1576702.1576729

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects of higher-dimensional varieties (14Q15) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Recommendations

• Variant quantifier elimination
• scientific article; zbMATH DE number 1302474
• Stability analysis by quantifier elimination.
• Quantifier elimination for real algebra -- the quadratic case and beyond
• scientific article; zbMATH DE number 1263423

Cited in

(14)

• Global optimization of polynomials over real algebraic sets
• On the arithmetic complexity of computing Gröbner bases of comaximal determinantal ideals
• scientific article; zbMATH DE number 1490034 (Why is no real title available?)
• Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
• Refined F5 Algorithms for Ideals of Minors of Square Matrices
• Quantifier elimination for a class of exponential polynomial formulas
• Verifying Mixed Real-Integer Quantifier Elimination
• Local quantifier elimination
• Real quantifier elimination is doubly exponential
• Faster one block quantifier elimination for regular polynomial systems of equations
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• A search-based procedure for nonlinear real arithmetic
• scientific article; zbMATH DE number 1302474 (Why is no real title available?)
• Variant quantifier elimination

Describes a project that uses

Uses Software

• RAGlib
• FGb

This page was built for publication: Variant real quantifier elimination: algorithm and application

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883815)