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

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

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

(16)

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

Describes a project that uses

Uses Software

• FGb
• RAGlib

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)