Local quantifier elimination

DOI10.1145/345542.345589MaRDI QIDQ3454748zbMATH OpenOpenAlexFDO

Authors Andreas Dolzmann, Volker Weispfenning

Publication date 26 November 2015

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

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

Mathematics Subject Classification ID

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

Recommendations

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Applying Linear Quantifier Elimination
• scientific article; zbMATH DE number 1302474
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• Variant real quantifier elimination: algorithm and application

Cited in

(6)

• Towards fast one-block quantifier elimination through generalised critical values
• Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
• On negation: Pure local rules
• Local soundness for QBF calculi
• Fast approximations of quantifier elimination
• scientific article; zbMATH DE number 432702 (Why is no real title available?)

This page was built for publication: Local quantifier elimination

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