111 reputation
6
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 40
visits member for 4 years, 4 months
seen 18 hours ago

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 111 rep 6
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   month  
1 up 1 question 1
0 down 0 answer