Email: zfyang@sei.ecnu.edu.cn; lzhi@mmrc.iss.ac.cn
The examples are all from Meti-Tarski Project. Reference: Behzad Akbarpour and L. C. Paulson. MetiTarski: An automatic theorem prover for real-valued special functions. J. Automated Reasoning 44 3 (2010), 175–205. ● Performance summary
