Login / Signup
Guillermo Calderón
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 2
Top Topics
Camera Self Calibration
Reconstruction From Multiple Views
Projective Geometry
Partially Occluded
Top Venues
LSFA
CLEI
</>
Publications
</>
Guillermo Calderón
Formalizing Affinization of a Projective Plane in Agda.
CLEI
(2021)
Guillermo Calderón
Formalizing Constructive Projective Geometry in Agda.
LSFA
(2017)