Verifying Mixed Real-Integer Quantifier Elimination
From MaRDI portal
Publication:3613432
DOI10.1007/11814771_43zbMath1222.03013OpenAlexW2161485500MaRDI QIDQ3613432
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_43
Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
Formalization of real analysis: a survey of proof assistants and libraries ⋮ Proof synthesis and reflection for linear arithmetic ⋮ Linear quantifier elimination ⋮ Don't care words with an application to the automata-based approach for real addition
This page was built for publication: Verifying Mixed Real-Integer Quantifier Elimination
