6 reputation
2
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 40
visits member for 3 years
seen Oct 26 at 22:42

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 111 rep 6
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