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