Zalgaller offered a computer-based computational proof that Johnson had completed the enumeration of convex polyhedra with regular faces. National Museum of American History Polyhedron Model by Martin ...