搜索结果
跳转到导航
跳转到搜索
- === 计算机辅助证明 === …://www.math.wustl.edu/~sk/eolss.pdf |dead-url=no }}</ref>。1976年[[四色定理]]的证明是计算机辅助证明的经典例子<ref>{{cite web |url=http://www.kepu.net.cn/gb/basic/szsx/8/8_81/8_81_1 …17 KB（1,036个字） - 2023年11月6日 (一) 09:38
- [[Category:计算机辅助证明]] …7 KB（450个字） - 2025年1月20日 (一) 00:36
- …uel Kauers）、克里斯多弗·庫茨坎（Christoph Koutschan）和多倫·澤爾伯格（Doron Zeilberger）對蓋塞爾猜想的計算機輔助證明於2009年發表<ref name="Kauers Koutschan Zeilberger 2009 pp. 11502–11505">{{cite …7 KB（453个字） - 2022年12月11日 (日) 17:16
- …[電腦協助證明|借助计算机证明]]的定理。这个证明一开始并不为许多数学家接受，因为不少人认为这个证明无法用人手直接验证。尽管随着计算机的普及，数学界对计算机辅助证明更能接受，但仍有数学家希望能够找到更简洁或不借助计算机的证明。 …为电子计算机不过是依照人的逻辑来进行每一步的操作，实际上只是将人能够完成的工作用更短的时间来完成{{r|soifer|page1=198}}。还有人将计算机辅助证明和传统证明的差别比喻为借助[[天文望远镜]]发现新星和用肉眼发现新星的区别<ref name="pck">{{cite journal|author=P …53 KB（2,427个字） - 2024年12月30日 (一) 03:19
- [[Category:计算机辅助证明]] …17 KB（992个字） - 2025年3月11日 (二) 20:39
- * [[计算机辅助证明]] …16 KB（1,055个字） - 2023年12月25日 (一) 17:50
- …对 {{Link-en|Ree 群|Ree Group}}的鉴定是分类定理最艰巨的一部分。很多存在性证明和一些散在群的唯一性证明在原始论文里就援引了计算机辅助证明，其中的大多数现在已被更简洁的人工证明所替代。 …42 KB（2,970个字） - 2025年2月10日 (一) 16:35
- Krasikov & Lagarias在一份[[计算机辅助证明]]中证明，对所有足够大的{{mvar|x}}，区间{{math|[1,''x'']}}中最终达到1的整数个数至少等于{{math|''x''<sup> …47 KB（3,735个字） - 2025年1月22日 (三) 12:10