A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula.

Jean-Franois Dufourd

Browse the full SAC paper archive.