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 <>
Submitted on : Wednesday, February 24, 2016 - 12:45:30 PM
Last modification on : Saturday, October 27, 2018 - 1:24:35 AM
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

208

Files downloads

1829