Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
From MaRDI portal
Publication:5119942
DOI10.1145/3087604.3087627zbMATH Open1457.68326OpenAlexW2737488163MaRDI QIDQ5119942FDOQ5119942
Publication date: 9 September 2020
Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3087604.3087627
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Cited In (5)
- Formula simplification via invariance detection by algebraically indexed types
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
- From simplification to a partial theory solver for non-linear real polynomial constraints
- On simplification of formulas with unconstrained variables and quantifiers
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Quantifier elimination for real algebra -- the quadratic case and beyond 👍 👎
- Variant real quantifier elimination: algorithm and application 👍 👎
- A Quantifier Elimination Algorithm for Linear Real Arithmetic 👍 👎
- On mechanical quantifier elimination for elementary algebra and geometry 👍 👎
- On simplification of formulas with unconstrained variables and quantifiers 👍 👎
- Quantifier elimination for elementary geometry and elementary affine geometry 👍 👎
This page was built for publication: Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5119942)
