Real Algebraic Strategies for MetiTarski Proofs
From MaRDI portal
Publication:2907335
DOI10.1007/978-3-642-31374-5_24zbMath1360.68764OpenAlexW1492057809WikidataQ57382600 ScholiaQ57382600MaRDI QIDQ2907335
Leonardo de Moura, Grant Olney Passmore, Lawrence Charles Paulson
Publication date: 7 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_24
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
An augmented MetiTarski dataset for real quantifier elimination using machine learning ⋮ Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL
Uses Software
This page was built for publication: Real Algebraic Strategies for MetiTarski Proofs
