大约有507,957项符合查询结果项。(搜索耗时:0.7046秒)
为您推荐: 几何定理机器证明的案例 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何证明
-
-
-
画法几何在工程技术中的应用
戴勉业主编1988 年出版218 页ISBN:711100664X本书分十章叙述画法几何在工程力学、晶体、金属切削刀具、金属加工工艺、汽车车身、叶轮、船体和螺旋浆、展开、煤矿等方面的应用。
-
-
几何学 空间和形式的语言
(美)约翰·塔巴克著;张红梅,刘献军译2008 年出版220 页ISBN:7100055571本书是对数学和自然科学史中关于几何的片段的回顾,通过时间的脉络,将几何学上的大师及其成就,以及几何命题和公式的得出背景等,一一展示给读者。...
-
不等式机器证明与自动发现
杨路,夏壁灿著2008 年出版226 页ISBN:9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作,兼顾经典结果和方法。全书共分七章,分别介绍和论述:多项式的伪除与结式;相对单纯分解;多项式的实根;常系数半代数系统的实解隔离;参......
-
物理学家用的微分几何李群
MarianFecko著2008 年出版697 页ISBN:9787506292672微分几何在现代理论物理和应用数学中扮演着越来越重要的角色。本书给出了在理论物理和应用数学中很重要的几何知识,包括流形、张量场、微分形式、联络、辛几何、李群作用、族以及自旋。...
-
-
死刑案件证明标准研究
陈虎著2015 年出版186 页ISBN:9787513034630我国法定证明标准十分严格,但是在实践中却经常出现留有余地的判决,证明标准的表达与实践之间呈现出一种悖反关系。本书研究了留有余地判决方式产生的原因,并针对理论界修改死刑案件证明标准的几种思路进行了细...
-
五年高考数理化生公式定理概念全解·物理·化学·生物 高一·高二·高三
博文考试命题研究组编2006 年出版483 页ISBN:7801099419本书以最近五年高考中考数理化生的真题为依据对中学的有关公式定理进行了系统的归纳和整理。
