MetiTarski: past and future

DOI10.1007/978-3-642-32347-8_1MaRDI QIDQ2914728zbMATHOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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)

• Cylindrical algebraic decomposition with equational constraints
• Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
• Using machine learning to improve cylindrical algebraic decomposition
• The complexity of cylindrical algebraic decomposition with respect to polynomial degree
• 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
• Truth table invariant cylindrical algebraic decomposition
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
• MetiTarski: An Automatic Prover for the Elementary Functions
• Recent advances in real geometric reasoning
• MetiTarski's menagerie of cooperating systems
• Cylindrical algebraic sub-decompositions

Describes a project that uses

Uses Software

• MetiTarski

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)