146 reputation
2 6

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.

Top Tags (7)

Score 7
Posts 2
Posts % 67
Score 6
Posts 1
Score 6
Posts 1
Score 1
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (3) All Questions Answers | Votes Newest

Badges (8)

Gold
Silver 2

Rarest

Bronze 6

Rarest