"A hypermap framework for computer-aided proofs in surface subdivisions: ..."

Jean-François Dufourd (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics