当前位置：首页 > 名称
大约有435,577项符合查询结果项。（搜索耗时：0.4339秒）
为您推荐： 代数不等式的证明 机器证明 全4册 工业机器人集成应用机构设计篇自动化 工业机器人自动化生产线 工业机器人集成应用机构设计篇自动化 解不等式及证明 的方法
-
-
-
-
-
证明与反驳 数学发现的逻辑
（英）伊姆雷·拉卡托斯（Imre Lakatos）著；方刚，兰钊译2007 年出版193 页ISBN：7309053974本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
解不等式及证明不等式的方法
谷学勤编著2016 年出版280 页ISBN：9787566412638本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种解不等式及证明不等式的方法，分别介绍了解不等式（组）的方法及证明不等式的方法。解不等式的方法包括等价法、交集法、分区法、同底法、定义法、平方...
-
-
-
学科分类
出版时间