Sciweavers

Share
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
books