Formalizing Desargues' theorem in Coq using ranks
| Title: | Formalizing Desargues' theorem in Coq using ranks |
|---|---|
| Authors: | Magaud, Nicolas; Narboux, Julien; Schreck, Pascal |
| Source: | Proceedings of the 2009 ACM symposium on Applied Computing. :1110-1115 |
| Availability: | http://dl.acm.org/doi/10.1145/1529282.1529527 |
| Database: | ACM Full-Text Collection |