Efficient Preprocessing Methods for Quantifier Elimination

DOI10.1007/11870814_7zbMath1141.68675OpenAlexW1597600813MaRDI QIDQ3511099

Christian Gross, Christopher W. Brown

Publication date: 4 July 2008

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11870814_7

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

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

Uses Software

• QEPCAD
• REDLOG