www.math.pitt.edu
University of Pittsburgh. Kepler conjecture (announced a computer-aided proof), other space tiling conjectures, Langlands theory.
University of Pittsburgh. Kepler conjecture (announced a computer-aided proof), other space tiling conjectures, Langlands theory.