Jean-François Dufourd
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler’s formula
SAC, 2007.
@inproceedings{SAC-2007-Dufourd,
author = "Jean-François Dufourd",
booktitle = "{Proceedings of the 22nd Symposium on Applied Computing}",
doi = "10.1145/1244002.1244171",
editor = "Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo",
isbn = "1-59593-480-4",
pages = "757--761",
publisher = "{ACM}",
title = "{A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler’s formula}",
year = 2007,
}