A case study in formalizing projective geometry in Coq: Desargues theorem

Onglets principaux

Magaud, N., Narboux, J., & Schreck, P. (2012). A case study in formalizing projective geometry in Coq: Desargues theorem. Computational Geometry, 45(8), 406-424. doi:10.1016/j.comgeo.2010.06.004