136 reputation
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 41
visits member for 4 years, 5 months
seen Jan 11 at 10:24

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.