Proof of a conjecture on the slit plane problem.

Published in: Discret. Math. (2004)

Keyphrases

data sets
three dimensional
range images
theorem prover
artificial intelligence
viewpoint
data mining
machine learning
information retrieval
camera motion
free space
linear logic
geometry theorem proving