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.
2
answers
1
question
~7k
people reached
 Institut Rudjer Boskovic
 mathieudutour.altervista.org
 Member for 5 years, 5 months
 276 profile views
 Last seen Mar 12 '15 at 9:31
Badges (8)
Gold
—

Silver
2
Rarest

Bronze
6
Rarest
