146 reputation
16
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 41
visits member for 4 years, 6 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.


MathOverflow 146 rep 16
Stack Overflow 54 rep 3
TeX - LaTeX 6 rep 2
Server Fault 1 rep 1
Mathematics 1 rep 1

1 Vote Cast

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