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.
Type de document :
Article dans une revue
Mathematics in Computer Science, Springer, 2016, 10 (1), pp.17. 〈http://link.springer.com/article/10.1007%2Fs11786-016-0254-4〉. 〈10.1007/s11786-016-0254-4〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01174131
Contributeur : Julien Narboux <>
Soumis le : mercredi 24 février 2016 - 12:45:30
Dernière modification le : mercredi 24 mai 2017 - 01:02:44
Document(s) archivé(s) le : mercredi 25 mai 2016 - 10:45:35

Fichier

certified-etc.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

Collections

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. 〈http://link.springer.com/article/10.1007%2Fs11786-016-0254-4〉. 〈10.1007/s11786-016-0254-4〉. 〈hal-01174131v2〉

Partager

Métriques

Consultations de la notice

79

Téléchargements de fichiers

640