Proof of Grünbaum's Conjecture on Common Transversals for Translates.

Published in: Discret. Comput. Geom. (1989)

Keyphrases

emerging patterns
theorem proving
computer vision
theorem prover
linear logic
automated theorem proving
real time
data sets
databases
image segmentation
multiscale