Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

DOI10.1145/3087604.3087627zbMath1457.68326OpenAlexW2737488163MaRDI QIDQ5119942

Hidenao Iwane, Hirokazu Anai

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

zbMATH Keywords

formula simplificationreal quantifier eliminationnon-prenex quantified formula

Mathematics Subject Classification ID

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

Related Items (3)

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 ⋮ From simplification to a partial theory solver for non-linear real polynomial constraints ⋮ Formula simplification via invariance detection by algebraically indexed types

This page was built for publication: Formula Simplification for Real Quantifier Elimination Using Geometric Invariance