6 reputation
2

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 (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (1) All Questions Answers | Votes Newest

Badges (2)

Gold
Silver
Bronze 2

Rarest