|location||Institut Rudjer Boskovic|
|visits||member for||4 years, 1 month|
|seen||Oct 22 at 18:24|
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||mathieudutour.altervista.org||visits||member for||4 years, 1 month|
|location||Institut Rudjer Boskovic||seen||Oct 22 at 18:24|
0 Votes Cast
This user has not cast any votes