A Proof of the Spherical Homeomorphism Conjecture for Surfaces.

Lowell Abrams Donniell E. Fishkind Carey E. Priebe

Published in: IEEE Trans. Medical Imaging (2002)

Keyphrases

three dimensional
unit sphere
theorem proving
conformal mapping
free form
theorem prover
spherical harmonics
surface reconstruction
geometric features
surface fitting
smooth surfaces
surface registration
natural deduction
surface orientation
linear logic
curved surfaces
basis functions