Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development, Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

G. Braun and J. Narboux, From Tarski to Hilbert Post-proceedings of Automated Deduction in Geometry 2012, Tetsuo Ida and Jacques Fleuriot, pp.89-109, 2012.

P. Boutry, J. Narboux, P. Schreck, and G. Gao, Using small scale automation to improve both accessibility and readability of formal proofs in geometry Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving, Proceedings of ADG 2014, pp.1-19, 1990.

D. Delahaye and M. Mayero, Field, une procédure de décision pour les nombres réels en coq, JFLA, pp.33-48, 2001.

W. Gallatly, The modern geometry of the triangle, 1910.

B. Grégoire and A. Mahboubi, Proving Equalities in a Commutative Ring Done Right in Coq, Theorem Proving in Higher Order Logics, 18th International Conference Proceedings, volume 3603 of Lecture Notes in Computer Science, pp.98-113, 2005.
DOI : 10.1007/11541868_7

D. Kapur, Geometry theorem proving using Hilbert's Nullstellensatz, Proceedings of the fifth ACM symposium on Symbolic and algebraic computation , SYMSAC '86, pp.202-208, 1986.
DOI : 10.1145/32439.32479

C. Kimberling, Triangle Centers as Functions, Rocky Mountain Journal of Mathematics, vol.23, issue.4, 1993.
DOI : 10.1216/rmjm/1181072493

C. Kimberling, Central Points and Central Lines in the Plane of a Triangle, Mathematics Magazine, vol.67, issue.3, pp.163-187, 1994.
DOI : 10.2307/2690608

C. Kimberling, Triangle centers and central triangles, 1998.

J. Narboux, Mechanical Theorem Proving in Tarski's geometry Post-proceedings of Automated Deduction in Geometry, LNCS, vol.4869, pp.139-156, 2006.

M. Rybowicz, On the normalization of numbers and functions defined by radicals, Journal of Symbolic Computation, vol.35, issue.6, pp.651-672, 2003.
DOI : 10.1016/S0747-7171(03)00032-4
URL : https://hal.archives-ouvertes.fr/hal-00856951

D. Wang, Elimination procedures for mechanical theorem proving in geometry, Annals of Mathematics and Artificial Intelligence, vol.7, issue.2, pp.1-24, 1995.
DOI : 10.1007/BF01531321

P. Yiu, Introduction to the geometry of triangle, 2002.

R. Zippel, Simplification of expressions involving radicals, Journal of Symbolic Computation, vol.1, issue.2, pp.189-210, 1985.
DOI : 10.1016/S0747-7171(85)80014-6