Mathieu Dutour Sikiric

less info
106 reputation
4
bio website drobilica.irb.hr/~mathieu
location Institut Rudjer Boskovic
age 40
visits member for 3 years, 7 months
seen Mar 21 at 16:47
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.

0 Votes Cast

This user has not cast any votes