B. Akbarpour and L. C. Paulson, MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions, Journal of Automated Reasoning, vol.7, issue.4, pp.175-205, 2010.
DOI : 10.1145/1183278.1183282
URL : http://www.cl.cam.ac.uk/~lp15/papers/Arith/MetiTarski-jar.pdf

D. Ben and . Vito, Manip user's guide, version 1.3, 2011.

J. Hurd, The opentheory standard theory library. NASA Formal Methods, pp.177-191, 2011.
DOI : 10.1007/978-3-642-20398-5_14
URL : http://www.gilith.com/research/papers/stdlib.pdf

S. Owre, M. John, N. Rushby, and . Shankar, PVS: A prototype verification system, International Conference on Automated Deduction, pp.748-752, 1992.
DOI : 10.1007/3-540-55602-8_217
URL : http://www.csl.sri.com/papers/c/a/cade92-pvs/cade92-pvs.ps.gz

R. Saillard, Dedukti: a universal proof checker, Foundation of Mathematics for Computer-Aided Formalization Workshop, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01537578

G. Sutcliffe, The TPTP Problem Library and Associated Infrastructure, Journal of Automated Reasoning, vol.13, issue.2, p.337, 2009.
DOI : 10.1007/BF00263451