Recognition of polyhedra by a mechanical theorem proving method.

Kyun Koh, Koichiro Deguchi

Browse the full ICPR paper archive.