Euler's Polyhedron Formula.

Published in: Formaliz. Math. (2008)

Keyphrases

convex hull
differential equations
database
genetic algorithm
case study
d objects
euclidean space
linear temporal logic
real world
data mining
machine learning
video sequences