Jean-François Dufourd. A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler s formula. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 757-761, ACM, 2007. [doi]
Abstract is missing.