MetiTarski: Past and Future
From MaRDI portal
Publication:2914728
DOI10.1007/978-3-642-32347-8_1zbMATH Open1360.68765OpenAlexW979541187WikidataQ57382597 ScholiaQ57382597MaRDI QIDQ2914728FDOQ2914728
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
Cited In (11)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Using machine learning to improve cylindrical algebraic decomposition
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- Recent Advances in Real Geometric Reasoning
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree
- Cylindrical algebraic sub-decompositions
- Truth table invariant cylindrical algebraic decomposition
- Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
Uses Software
This page was built for publication: MetiTarski: Past and Future
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914728)
