Login / Signup
Formalizing Some "Small" Finite Models of Projective Geometry in Coq.
David Braun
Nicolas Magaud
Pascal Schreck
Published in:
AISC (2018)
Keyphrases
</>
projective geometry
machine learning
three dimensional
viewpoint
special case
low cost
point correspondences
digital camera
cross ratio