Mathieu Dutour Sikiric

less info
6 reputation
1
bio website mathieudutour.altervista.org
location Institut Rudjer Boskovic
age 40
visits member for 2 years, 7 months
seen Jul 14 at 14:09

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