计算机证明相关论文
计算机图形软件的算法也是基于数学理论建立起来的,由于程序员编写的程序所运用的数学原理是看不到的,因此一不小心,就会犯下循环......
数学问题的计算机证明也称数学机械化，是指用计算机证明、推理计算数学问题。Mizar语言系统是由波兰华沙大学的AndrzejTrybulec教授......
当前，数学问题计算机证明的研究已成为世界各国积极研究的前沿领域。随着计算机技术的发展，人们己根据机械化方法创建了各种机器语言......
提出螺线管“管壁构造法”构造映射ｆ（θ，ｋｐ）＝（２θ，ａｐ＋ｅ＾ｉθ）在实心环面Ｄ中具有“强收缩和圆周倍扩张”的可变维数的螺线管吸引了了。提出了在中任意断......
【正】 《几何定理机器证明的基本原理》一书获第四届全国优秀科技图书奖一等奖。书的著者吴文俊教授是国际知名的数学家,中国科学......
一、著名的数学难题 四色问题说的是:要给一张地图着色,使任意两个具有公共边界线的国家着不同颜色,最多只要四种颜色就够了。这个......
20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生，在数学界、哲学界引起了极大的振动。尤其是实验数学的产生，数学的基本......
一、定理机器证明思想的产生与发展所谓定理的机器证明，是指使用计算机证明定理的成立，即把人证明定理的过程，通过一套符号体系加以......
本文阐述了这样的一个算法，即利用一个栈组通过构造及搜索解答树的所有结点，证明了Ｅｕｌｅｒ猜想在ｎ＝６时不成立，亦即没有六阶的拉丁方对。......
矩阵──高中数学课的一项新内容北京师范大学数学系程艺华，王申怀目前我国的高中数学教材与国外的教材比较显得内容过于狭窄。一些......
在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中......
数学证明的真正含义并不在于检验核实命题,而在于理解命题,启迪思维,交流思想,导致发现. 数学证明的真谛不在于能证明命题的真假,......
计算机自从20世纪40年代诞生之后，已经成为改变人们生活方式和思维方式最强大的力量，因此也给人们提出了许多值得思考的哲学问题。本......
<正>计算机科学的一个重要分支是机器证明,即用计算机来证明代数、几何、图论、物理、化学等不同学科的猜想、定理、公式.其真实意......
在欧氏几何和向量空间中,结合二者的关系,把几何问题转换为代数问题,利用MATLAB的相关知识,编写源代码文件,用计算机证明立体几何......
