Căn bậc hai của Hai đến 5 triệu chữ số bởi Jerry Bonnell và Robert J. Nemiroff. Tháng 5, 1994.
 Căn bậc hai của 2 là vô tỉ, một tuyển tập các chứng minh