A Certified Version of Clark Kimberling's Encyclopedia of Triangle Centers

Maple scripts to find properties have been writen by David Braun and Julien Narboux.

The Coq proofs scripts have been written by Julien Narboux.

We thank all people working on ETC and in particular:

• We thank Peter Moses for providing a file with barycentric coordinates of the point.
• We thank Bernard Gibert for providing a file with the definitions of its encyclopedia of cubics.