MetiTarski: An Automatic Prover for the Elementary Functions
From MaRDI portal
Publication:5505501
DOI10.1007/978-3-540-85110-3_18zbMATH Open1166.68335DBLPconf/aisc/AkbarpourP08OpenAlexW2164887032WikidataQ57382626 ScholiaQ57382626MaRDI QIDQ5505501FDOQ5505501
Authors: Behzad Akbarpour, Lawrence C. Paulson 
Publication date: 27 January 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_18
Recommendations
Cites Work
- QEPCAD B
- Resolution theorem proving
- Verified Real Number Calculations: A Library for Interval Arithmetic
- Title not available (Why is that?)
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
- Automated Deduction – CADE-20
- Extending a Resolution Prover for Inequalities on Elementary Functions
- Title not available (Why is that?)
- Automatic derivation of the irrationality of \(e\)
Cited In (18)
- Title not available (Why is that?)
- A procedure for proving special function inequalities involving a discrete parameter
- Metamath Zero: designing a theorem prover prover
- Extending a Resolution Prover for Inequalities on Elementary Functions
- A heuristic prover for real inequalities
- A heuristic prover for real inequalities
- A heuristic prover for elementary analysis in \textit{Theorema}
- Computer algebra for special function inequalities
- Automated proving for a class of transcendental-polynomial inequalities
- MetiTarski: An automatic theorem prover for real-valued special functions
- MetiTarski
- MetiTarski's menagerie of cooperating systems
- Applications of real number theorem proving in PVS
- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Title not available (Why is that?)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
- MetiTarski: past and future
Uses Software
This page was built for publication: MetiTarski: An Automatic Prover for the Elementary Functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505501)
