Towards A Certified Version of the Encyclopedia of Triangle Centers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Mathematics in Computer Science Year : 2016

Towards A Certified Version of the Encyclopedia of Triangle Centers

Abstract

Triangle 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.
Fichier principal
Vignette du fichier
certified-etc.pdf (1.23 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01174131 , version 1 (08-07-2015)
hal-01174131 , version 2 (24-02-2016)

Licence

Copyright

Identifiers

Cite

Julien Narboux, David Braun. Towards A Certified Version of the Encyclopedia of Triangle Centers. Mathematics in Computer Science, 2016, 10 (1), pp.17. ⟨10.1007/s11786-016-0254-4⟩. ⟨hal-01174131v2⟩
137 View
1578 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More