Login / Signup

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

Helge Tverberg
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