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
Q&A for professional and enthusiast programmers
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems