Mathieu Dutour Sikiric
|
Registered User
|
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.
|
Click graph with mouse, or enter Start: End:
