Dominique Michelucci. Isometry group, words and proofs of geometric theorems. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 1821-1825, ACM, 2008. [doi]
Abstract is missing.