MetiTarski: Past and Future
From MaRDI portal
Publication:2914728
DOI10.1007/978-3-642-32347-8_1zbMath1360.68765OpenAlexW979541187WikidataQ57382597 ScholiaQ57382597MaRDI QIDQ2914728
Publication date: 20 September 2012
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_1
Related Items (10)
Recent Advances in Real Geometric Reasoning ⋮ Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers ⋮ Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition ⋮ Cylindrical algebraic sub-decompositions ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree ⋮ Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
Uses Software
This page was built for publication: MetiTarski: Past and Future
