Euler's Polyhedron Formula in mizar.

Published in: ICMS (2010)

Keyphrases

computer assisted
convex hull
euclidean space
artificial intelligence
differential equations
decision trees
evolutionary algorithm
finite number