Appel, K. 和 Haken, W. "每个平面地图都是四可着色的,II:可约性。" Illinois J. Math.21, 491-567, 1977a.Appel, K. 和 Haken, W. "四色地图问题的解决方案。" Sci. Amer.237, 108-121, 1977b.Appel, K.; Haken, W.; 和 Koch, J. "每个平面地图都是四可着色的。I:放电。" Illinois J. Math.21, 429-490, 1977.de Branges, L. "比贝尔巴赫猜想的证明。" Acta Math.154, 137-152, 1985.Hales, T. C. "蜂巢猜想。" 1999 年 6 月 8 日。 http://arxiv.org/abs/math.MG/9906042.Hales, T. C. "开普勒猜想的计算机验证。" 国际数学家大会论文集,第二卷。特邀讲座。2002 年 8 月 20-28 日在北京举行7040086905 (编辑 T. Li)。北京,中国:高等教育出版社,第 795-804 页,2002 年。Haselgrove, C. B. "波利亚猜想的反证。" Mathematika5, 141-145, 1958.Menasco, W. 和 Thistlethwaite, M. "泰特飞跃猜想。" Bull. Amer. Math. Soc.25, 403-412, 1991.Tanaka, M. "关于刘维尔函数累积和的数值研究" [原文如此]。 Tokyo J. Math.3, 187-189, 1980.Taylor, R. 和 Wiles, A. "某些 Hecke 代数的环论性质。" Ann. Math.141, 553-572, 1995.Wiles, A. "模椭圆曲线与费马最后定理。" Ann. Math.141, 443-551, 1995.