Mathieu Dutour Sikiric

less info
6 reputation
bio website
location Institut Rudjer Boskovic
age 40
visits member for 2 years, 9 months
seen Aug 26 at 10:16

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