MetiTarski: past and future
From MaRDI portal
Publication:2914728
DOI10.1007/978-3-642-32347-8_1zbMATH Open1360.68765OpenAlexW979541187WikidataQ57382597 ScholiaQ57382597MaRDI QIDQ2914728FDOQ2914728
Authors: Lawrence C. Paulson 
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
Recommendations
- MetiTarski: An automatic theorem prover for real-valued special functions
- MetiTarski: An Automatic Prover for the Elementary Functions
- MetiTarski's menagerie of cooperating systems
- Real Algebraic Strategies for MetiTarski Proofs
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
Cited In (13)
- 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
- Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- Cylindrical algebraic decomposition with equational constraints
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- MetiTarski's menagerie of cooperating systems
- MetiTarski: An Automatic Prover for the Elementary Functions
- 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
- Decidability of univariate real algebra with predicates for rational and integer powers
- Recent advances in real geometric reasoning
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)
