MetiTarski: An Automatic Prover for the Elementary Functions
From MaRDI portal
Publication:5505501
DOI10.1007/978-3-540-85110-3_18zbMath1166.68335OpenAlexW2164887032WikidataQ57382626 ScholiaQ57382626MaRDI QIDQ5505501
Behzad Akbarpour, Lawrence Charles 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A heuristic prover for real inequalities ⋮ Applications of real number theorem proving in PVS ⋮ MetiTarski: An automatic theorem prover for real-valued special functions ⋮ Applications of MetiTarski in the Verification of Control and Hybrid Systems ⋮ MetiTarski
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\)
This page was built for publication: MetiTarski: An Automatic Prover for the Elementary Functions
