Mathieu Dutour Sikiricless info
|location||Institut Rudjer Boskovic|
|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.
0 Votes Cast
This user has not cast any votes