大约有20,000项符合查询结果项。（搜索耗时：0.0102秒）
为您推荐： 几何定理机器证明的案例 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何证明
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN：97875647333842000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......
-
-
-
画法几何与机械制图习题集
仲恺农业工程学院《机械制图》编写组编；朱立学，姚华平主编2015 年出版78 页ISBN：9787565514272本书为高等学校工科类专业基础课用书。主要内容包括：制图基本规定，点线面的投影，曲线与曲面，基本体的投影，组合体的三视图，轴测图，机件常用表达方式，标准件与常用件的表达方式及画法，零件图画法和装配图的画......
-
画法几何及机械制图习题集
王熙宁，袭建军主编2015 年出版179 页ISBN：9787040403978本习题集是根据教育部2010年制定的“普通高等学校工程图学课程教学基本要求”，以及最新颁布的《技术制图》、《机械制图》国家标准，并结合多年的教学实践编写而成。本习题与王熙宁主编《画法几何及机械制图》...
-
-
-
画法几何及机械制图（附习题集） 习题集
倪莉主编；梁颖，张洪副主编；何卓左，于贺春，乔雪涛，李志强编写；赵建国主审2015 年出版186 页ISBN：9787512378278本书为“十三五”普通高等教育本科规划教材。本书共14章，主要内容包括制图的基本知识，点、直线、平面的投影，直线与平面、平面与平面的相对位置，投影变换，基本立体，立体表面的交线，组合体，轴测图，机件的图样......
-
管理学智慧 为人的定理
张智光著2015 年出版136 页ISBN：9787305147074如何做人、做事、做官？张智光教授用管理科学的观点、简洁生动的语言和富有哲理的思考深度诠释了为人、为官的“定理”。“定理”是一种科学文体，本书以精炼准确的语言描述被理论证明了的客观事物的法则和规律...