6 reputation
2
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 41
visits member for 3 years, 2 months
seen Jan 29 at 9:39

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.


This user has not answered any questions
MathOverflow 136 rep 16
Stack Overflow 54 rep 3
TeX - LaTeX 6 rep 2
Server Fault 1 rep 1
Mathematics 1 rep 1

0 Votes Cast

This user has not cast any votes