Sciweavers

Share
2 search results - page 1 / 1
» MetiTarski: An Automatic Theorem Prover for Real-Valued Spec...
Sort
View
JAR
2010
160views more  JAR 2010»
9 years 2 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modiļ¬ed to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson
AISC
2008
Springer
9 years 5 months ago
MetiTarski: An Automatic Prover for the Elementary Functions
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
Behzad Akbarpour, Lawrence C. Paulson
books