6 reputation
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 40
visits member for 2 years, 11 months
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

0 Votes Cast

This user has not cast any votes