Login / Signup
A Short Proof of an Interesting Helly-Type Theorem.
Nina Amenta
Published in:
Discret. Comput. Geom. (1996)
Keyphrases
</>
interactive theorem proving
closely related
computer vision
metadata
multiscale
probabilistic model
theorem proving