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:
CoRR (2016)
Keyphrases
</>
interactive theorem proving
three dimensional
neural network
theorem proving
data sets
learning algorithm
computer vision
straight line
theorem prover
projective transformations
projective geometry
reconstruction from multiple views