The Upper Bound Theorem for Polytopes: an Easy Proof of Its Asymptotic Version.
Raimund SeidelPublished in: Comput. Geom. (1995)
Keyphrases
- upper bound
- worst case
- lower bound
- interactive theorem proving
- closed form expressions
- branch and bound algorithm
- upper and lower bounds
- real time
- database
- convex hull
- branch and bound
- lattice points
- approximation algorithms
- error probability
- theorem proving
- lower and upper bounds
- large deviations
- sample complexity
- expected values
- databases
- neural network
- np hard
- geometric properties
- theorem prover
- information retrieval
- search engine