当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0425秒)
为您推荐: 初中定理数学公式的由来及用法 精选初等数学习题和定理 公式及分录大全 判别质数通用公式首发现 超越费马小定理 会计规则的由来 初中数学
-
-
几何定理机器证明的几何不变量方法 【数理化】
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
数学分析的方法及例题选讲:分析学的思想、方法与技巧 【数理化】
徐利治编著2007 年出版294 页ISBN:9787561138090本书主要对数学分析中的经典例题进行详细的证明,可供数学系学生及教师作参考。
-
-
-
-
-
-
-
学科分类
