External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing Some "Small" Finite Models of Projective Geometry in Coq

David Braun, Nicolas Magaud, Pascal Schreck. Formalizing Some "Small" Finite Models of Projective Geometry in Coq. In Jacques D. Fleuriot, Dongming Wang, Jacques Calmet, editors, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. Volume 11110 of Lecture Notes in Computer Science, pages 54-69, Springer, 2018. [doi]

Authors

David Braun

This author has not been identified. Look up 'David Braun' in Google

Nicolas Magaud

This author has not been identified. Look up 'Nicolas Magaud' in Google

Pascal Schreck

This author has not been identified. Look up 'Pascal Schreck' in Google
runs on