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, 11 months
 292 profile views
 Last seen Apr 28 at 7:12
Badges (8)
Gold
—

Silver
2
Rarest

Bronze
6
Rarest
