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 1 year ago
Q&A for professional and enthusiast programmers
Joined 1 year ago, last seen 4 months ago
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Joined 2 years ago, last seen 7 months ago