A case study in formalizing projective geometry in Coq: Desargues theorem
In: Computational Geometry: Theory and Applications, Jg. 45 (2012-10-01), Heft 8, S. 406-424
Online
academicJournal
Titel: |
A case study in formalizing projective geometry in Coq: Desargues theorem
|
---|---|
Autor/in / Beteiligte Person: | Magaud, Nicolas ; Narboux, Julien ; Schreck, Pascal |
Link: | |
Zeitschrift: | Computational Geometry: Theory and Applications, Jg. 45 (2012-10-01), Heft 8, S. 406-424 |
Veröffentlichung: | 2012 |
Medientyp: | academicJournal |
ISSN: | 0925-7721 (electronic) |
DOI: | 10.1016/j.comgeo.2010.06.004 |
Sonstiges: |
|