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.
|
|
0
|
Votes |
|
8
|
Tags |
|
co.combinatorics× 3 combinatorial-geometry× 2 quadratic-forms lattices finite-groups convex-polytopes convexity ade-classifications |
|
4
|
Badges |
