Towards a Certified Version of the Encyclopedia of Triangle Centers

Narboux, J., & Braun, D. (sans date). Towards a Certified Version of the Encyclopedia of Triangle Centers. Mathematics In Computer Science, 10(1), 57-73. doi:10.1007/s11786-016-0254-4