Publimath
GEOMETRIE
C’est une méthode de démonstration automatique en géométrie utilisant l’assistant de preuve Coq.
Bulletin de l’APMEP. N° 421. p. 177-188. Démonstration automatique en géométrie. Une approche par la géométrie analytique.
https://master-informatique.unistra.fr/intranet/uploads/M2ISI/Stages/Rapports_2011/JD_Genevaux_Memoire_M2.pdf
