Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01174131
Contributor : Julien Narboux Connect in order to contact the contributor
Submitted on : Wednesday, February 24, 2016 - 12:45:30 PM
Last modification on : Wednesday, December 1, 2021 - 3:32:11 PM
Long-term archiving on: : Wednesday, May 25, 2016 - 10:45:35 AM

File

certified-etc.pdf
Files produced by the author(s)

Licence

Copyright

Identifiers

Citation

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

Share

Metrics

Record views

131

Files downloads

1459