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.