Appel, K. and Haken, W. "Every Planar Map is Four-Colorable, II: Reducibility." Illinois J. Math.21, 491-567, 1977a.Appel,
K. and Haken, W. "The Solution of the Four-Color Map Problem." Sci.
Amer.237, 108-121, 1977b.Appel, K.; Haken, W.; and Koch,
J. "Every Planar Map is Four Colorable. I: Discharging." Illinois J.
Math.21, 429-490, 1977.de Branges, L. "A Proof of the
Bieberbach Conjecture." Acta Math.154, 137-152, 1985.Hales,
T. C. "The Honeycomb Conjecture." 8 Jun 1999. http://arxiv.org/abs/math.MG/9906042.Hales,
T. C. "A Computer Verification of the Kepler Conjecture." Proceedings
of the International Congress of Mathematicians, Vol. II. Invited lectures.
Held in Beijing, August 20-28, 20027040086905 (Ed. T. Li). Beijing, China:
Higher Education Press, pp. 795-804, 2002.Haselgrove, C. B.
"A Disproof of a Conjecture of Pólya." Mathematika5,
141-145, 1958.Menasco, W. and Thistlethwaite, M. "The Tait Flyping
Conjecture." Bull. Amer. Math. Soc.25, 403-412, 1991.Tanaka,
M. "A Numerical Investigation on Cumulative Sum of the Liouville Function"
[sic]. Tokyo J. Math.3, 187-189, 1980.Taylor, R. and
Wiles, A. "Ring-Theoretic Properties of Certain Hecke Algebras." Ann.
Math.141, 553-572, 1995.Wiles, A. "Modular Elliptic-Curves
and Fermat's Last Theorem." Ann. Math.141, 443-551, 1995.