Mathieu Dutour Sikiric
I am a mathematician interested in applications of computers to prove mathematical theorems. This work has led to enumeration results in graph theory, combinatorics and lattice theory.
15 Classification of finite groups of isometries Aug 30 '10
6 Generalizations of the Birkhoff-von Neumann Theorem Jan 11 '11
1 Enumerating Perfect Lattices Feb 22 '12