Towards a certified version of the encyclopedia of triangle centers

DOI10.1007/s11786-016-0254-4zbMath1343.51001MaRDI QIDQ294378

Julien Narboux, David J. Braun

Publication date: 16 June 2016

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01174131/file/certified-etc.pdf

zbMATH Keywords

geometry; proof assistant; formal proof; Coq; triangle centers

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

51-04: Software, source code, etc. for problems pertaining to geometry

Uses Software

• Coq