”用计算机用于几何定理的证明“ 的搜索结果

     自动定理证明 自动定理证明就是让计算机模拟人类证明定理的方法,自动实现非数值符号的演算过程. 人工智能的研究和应用领域全文共3页，当前为第2页。人工智能的研究和应用领域全文共3页，当前为第2页。7.模式识别 ...

     计算共形几何是丘成桐先生和顾险峰教授共同创立的跨领域学科，完美的融合现代几何拓扑理论与计算机科学，将代数拓扑、微分拓扑、曲面微分几何、黎曼面理论、最优传输理论的基本概念、关键定理和思想方法推广到离散...

     此后人工智能的发展主要分为3 个阶段： 第一阶段，计算机主要被用于学习解决代数问题、证明几何定理、代替人完成部分逻辑推理和问题求解等简单智能工作，并发展出"专家系统"这一代表性人工智能程序[2]。 第二阶段，...

     例如，曲线在某一点的曲率可以从切向量和法向量之间的夹角获得，挠率可以从切向量...曲线论基本定理包括：第一基本定理（切向量、法向量、副法向量共线）、第二基本定理（曲率和挠率之间的关系），以及相应的定理证明。

     完美的融合现代几何拓扑理论与计算机科学，将代数拓扑、微分拓扑、曲面微分几何、黎曼面理论、最优传输理论的基本概念、关键定理和思想方法推广到离散情形，转换成计算机算法。 共形几何植根于基础数学，是很多领域...

     把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和自动演绎。机器定理证明是人工智能的重要研究领域，它的成果可应用于问题求解、自然语言理解、...

     理论计算机科学电子笔记151（2006）57-73www.elsevier.com/locate/entcs代数闭域上的量子消元...我们描述了这个过程可以进行证明助理使用计算机代数系统在一个纯粹的怀疑的方式。我们提出了一个实现在特定的框架工作的C

     中值定理以及证明题 一、研究函数的极值，最值，确定曲线的凹凸和拐点 极值只可能是导数为0或者导数不存在的点 如何判断： 左右导数是否变号 二阶导数是否!=0 导数不存在且为极值的条件是该点必须连续 有关分段...

     包括他的中国剩余定理研究，研究中国剩余定理的历史发展及在现代数论中的作用（历史、中国古代算法、现代解析方法、编程等）以及中国剩余定理在计算机科学上的其他的应用。   1． 中国剩余定理的简介以及

     下面将证明定理的方法主要归纳为以下几种： 1)直接证明：通过证明当 p 为真时 q 必然为真而进行的对 p->q 的证明。 2)反证法：反证法是一种间接证明方法，利用条件语句 p->q 等价于它的倒置 ￢q->￢p...

10  
9  
8  
7  
6  
5  
4  
3  
2  
1  

推荐文章