Efficient Preprocessing Methods for Quantifier Elimination
From MaRDI portal
Publication:3511099
Recommendations
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
- Efficient subformula orders for real quantifier elimination of non-prenex formulas
- scientific article; zbMATH DE number 1302474
- Quantifier elimination for a class of exponential polynomial formulas
Cited in
(5)- Efficient subformula orders for real quantifier elimination of non-prenex formulas
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
- Faster one block quantifier elimination for regular polynomial systems of equations
This page was built for publication: Efficient Preprocessing Methods for Quantifier Elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511099)