A Simpler Proof of the Excluded Minor Theorem for Higher Surfaces.

Carsten Thomassen

Published in: J. Comb. Theory, Ser. B (1997)

Keyphrases

interactive theorem proving
digital topology
three dimensional
single image
surface reconstruction
free form
real time
viewpoint
higher quality
surface patches
surface registration
surface features
linear logic
complete axiomatization