MetiTarski: An Automatic Prover for the Elementary Functions
From MaRDI portal
Publication:5505501
DOI10.1007/978-3-540-85110-3_18zbMath1166.68335WikidataQ57382626 ScholiaQ57382626MaRDI QIDQ5505501
Lawrence Charles Paulson, Behzad Akbarpour
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
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Extending a Resolution Prover for Inequalities on Elementary Functions
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
- QEPCAD B
- Verified Real Number Calculations: A Library for Interval Arithmetic
- Automated Deduction – CADE-20
- Automatic derivation of the irrationality of \(e\)