Login / Signup

A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane.

Éric Colin de VerdièreVojtech KaluzaPavel PatákZuzana PatákováMartin Tancer
Published in: J. Graph Algorithms Appl. (2017)
Keyphrases
  • interactive theorem proving
  • theorem prover
  • three dimensional
  • high level
  • planar curves
  • projective reconstruction
  • neural network
  • von neumann
  • projective geometry
  • projective space
  • reconstruction from multiple views