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.
Q&A for professional mathematicians
Joined 3 years ago, last seen 28 days ago
Q&A for professional and enthusiast programmers
Joined 2 years ago, last seen 9 days ago
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Joined 2 years ago, last seen 11 months ago