Digital Library
Close Browse articles from a journal
 
   next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 1 of 56 found articles
 
 
  A case study in formalizing projective geometry in Coq: Desargues theorem
 
 
Title: A case study in formalizing projective geometry in Coq: Desargues theorem
Author: Magaud, Nicolas
Narboux, Julien
Schreck, Pascal
Appeared in: Computational geometry
Paging: Volume 45 (2012) nr. 8 pages 19 p.
Year: 2012
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 1 of 56 found articles
 
   next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands