Beezer, R. "希腊-拉丁方。" http://buzzard.ups.edu/squares.html。Borwein, J. 和 Bailey, D. 实验数学:21 世纪的合理推理。 Wellesley, MA: A K Peters, p. 4, 2003。Browne, M. W. "如果没人能检查,数学证明还是证明吗?" 纽约时报, Sec. 3, p. 1, col. 1, Dec. 20, 1988。Cipra, B. A. "计算机搜索解决了一个古老的数学问题。" 科学242, 1507-1508, 1988。Lam, C. W. H. "10 阶有限射影平面的搜索。" 美国数学月刊98, 305-318, 1991。Lam, C. W. H. "10 阶有限射影平面的搜索。" 在 有机数学,1995 年 12 月 12-14 日在加拿大不列颠哥伦比亚省伯纳比举行的研讨会论文集0821806688 (Ed. J. Borwein, P. Borwein, L. Jörgenson, 和 R. Corless)。Providence, RI: Amer. Math. Soc., pp. 335-355, 1997. http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper.html。Lam, C. W. H.; Thiel, L.; 和 Swiercz, S. "10 阶有限射影平面的不存在性。" 加拿大数学杂志41, 1117-1123, 1989。Peterson, I. "搜索产生无人能检查的数学证明。" 科学新闻134, 406, Dec. 24 & 31, 1988。