Login / Signup
A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane.
Éric Colin de Verdière
Vojtech Kaluza
Pavel Paták
Zuzana Patáková
Martin Tancer
Published in:
Graph Drawing (2016)
Keyphrases
</>
interactive theorem proving
three dimensional
reconstruction from multiple views
projective transformations
neural network
learning algorithm
computer vision
theorem prover
theorem proving
ground plane
projective geometry