Mathieu Dutour Sikiricless info
|location||Institut Rudjer Boskovic|
|visits||member for||3 years, 3 months|
|seen||Mar 1 '12 at 2:43|
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.
|bio||website||drobilica.irb.hr/~mathieu||visits||member for||3 years, 3 months|
|location||Institut Rudjer Boskovic||seen||Mar 1 '12 at 2:43|