146 reputation
26
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 41
visits member for 5 years
seen Mar 12 at 9:31

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.


1 Vote Cast

all time   by type  
1 up 1 question
0 down 0 answer