![](/img/cover-not-exists.png)
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Behzad Akbarpour, Lawrence Charles PaulsonVolume:
44
Language:
english
Pages:
31
DOI:
10.1007/s10817-009-9149-2
Date:
March, 2010
File:
PDF, 650 KB
english, 2010