Login / Signup

Computational aspects of Helly's theorem and its relatives.

David AvisMichael E. Houle
Published in: Int. J. Comput. Geom. Appl. (1995)
Keyphrases
  • data sets
  • von neumann
  • three dimensional
  • lower bound
  • real time
  • artificial intelligence
  • interactive theorem proving