Towards a Certified Version of the Encyclopedia of Triangle Centers

NARBOUX, Julien et BRAUN, David, sans date. Towards a Certified Version of the Encyclopedia of Triangle Centers. Mathematics in Computer Science [en ligne]. sans date. Vol. 10, n° 1pp. 57-73. [Consultésans date]. DOI 10.1007/s11786-016-0254-4. Consulté de : https://link.springer.com/article/10.1007%2Fs11786-016-0254-41. .