Towards a Certified Version of the Encyclopedia of Triangle Centers

NARBOUX, Julien et BRAUN, David, sans date. Towards a Certified Version of the Encyclopedia of Triangle Centers. Mathematics in Computer Science [en ligne]. sans date. Vol. 10, n° 1pp. 57-73. [Consultésans date]. DOI 10.1007/s11786-016-0254-4. Consulté de : https://link.springer.com/article/10.1007%2Fs11786-016-0254-4Triangle centers such as the center of gravity, the circumcenter, the orthocenter are well studied by geometers. Recently, under the guidance of Clark Kimberling, an electronic encyclopedia of triangle centers (ETC) has been developed, it contains more than 7000 centers and many properties of these points. In this paper, we describe how we created a certified version of ETC such that some of the properties described come along with a computer checked proof of its validity.1. .