Number proofs done by computer might err （页面存档备份，存于互联网档案馆）
. Notices of the American Mathematical Society. December 2008 [2010-09-21]. （原始内容存档于2019-03-14）.
M. Nakao, M. Plum, Y. Watanabe (2019); Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics). （页面存档备份，存于互联网档案馆）
電腦協助證明, 此條目需要擴充, 2013年2月14日, 请協助改善这篇條目, 更進一步的信息可能會在討論頁或扩充请求中找到, 请在擴充條目後將此模板移除, 是一種部份或全部內容以電腦協助之數學證明, 目录, 哲學爭議, 歷史, 著名的, 參考, 外部連結哲學爭議, 编辑由於大部份的計算量龐大, 無法以人手驗證, 很多數學家不接受, 並表示那只是計算而非證明, 他們表示, 美麗的數學證明應像首詩, 而電腦證明則看似電話簿, 歷史, 编辑第一個著名的, 是1976年的四色定理證明, 著名的, 编辑四色定理, 1976. 此條目需要擴充 2013年2月14日 请協助改善这篇條目 更進一步的信息可能會在討論頁或扩充请求中找到 请在擴充條目後將此模板移除 電腦協助證明是一種部份或全部內容以電腦協助之數學證明 目录 1 哲學爭議 2 歷史 3 著名的電腦協助證明 4 參考 5 外部連結哲學爭議 编辑由於大部份的電腦協助證明計算量龐大 無法以人手驗證 很多數學家不接受電腦協助證明 並表示那只是計算而非證明 他們表示 美麗的數學證明應像首詩 而電腦證明則看似電話簿 歷史 编辑第一個著名的電腦協助證明 是1976年的四色定理證明 著名的電腦協助證明 编辑四色定理 1976 四子棋 1988 Order 10有限射影平面的不存在性 1989 克卜勒猜想 17點的幸福結局問題參考 编辑自動化定理證明外部連結 编辑Edmund Furse Why did AM run out of steam Keith Devlin Last doubts removed about the proof of the Four Color Theorem MAA Online January 2005 Number proofs done by computer might err 页面存档备份 存于互联网档案馆 A Special Issue on Formal Proof Notices of the American Mathematical Society December 2008 2010 09 21 原始内容存档于2019 03 14 M Nakao M Plum Y Watanabe 2019 Numerical Verification Methods and Computer Assisted Proofs for Partial Differential Equations Springer Series in Computational Mathematics 页面存档备份 存于互联网档案馆 nbsp 这是一篇关于数学的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 電腦協助證明 amp oldid 72959353, 维基百科，wiki，书籍，书籍，图书馆，
