大约有6,000项符合查询结果项。(搜索耗时:0.0160秒)
为您推荐: 几何定理机器证明的案例 101个世界最著名的未解之谜 图利的猫 史上最著名的116个思想悖论 几何定理机器证明的基本原理 哲学与生活丛书 图利的猫 史上最著名的116个思想悖论 挑战思维极限 勾股定理的365种证明
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN:97875647333842000年夏天,作者发现了素数一系列从始至终(多重地、彻底地)按同余均匀分布的规律性。作者能证明这些,是取得了又一系列重大的发现(在2005年冬天):在数轴上,随着各种奇合数不断被抽出,所有剩下的奇数分成各种“......
-
-
分形几何学及应用 上
王兴元,孟娟著2015 年出版568 页ISBN:9787030424754分形几何学是描述具有无规则结构复杂系统形态的一门新兴边缘科学。在过去30多年中,分形几何学已成功地应用于许多不同学科的研究领域,并对一些未解难题的研究取得了突破性进展。今天,分形几何学已被认为是研究...
-
分形几何学及应用 下
王兴元,孟娟著2015 年出版870 页ISBN:9787030424761分形几何学是描述具有无规则结构复杂系统形态的一门新兴边缘科学。在过去30多年中,分形几何学已成功地应用于许多不同学科的研究领域,并对一些未解难题的研究取得了突破性进展。今天,分形几何学已被认为是研究...
-
世界著名平面几何经典著作钩沉 建国初期平面三角老课本
《世界著名平面几何经典著作钩沉》编写组编2015 年出版270 页ISBN:7560355056本书为世界著名经典著作钩沉系列图书中的一本,是建国初期平面三角的经典教材。本书分为三角函数测角法,三角函数表,三角形的解法,习题四部分。详细的介绍了平面三角的相关知识。本书适合各阶段数学爱好者参考阅...
-
世界上最著名的36桩暗杀事件
林汶奎编著2015 年出版181 页ISBN:9787550011410本书记述了国际历史上较为著名的36桩暗杀事件,如马丁·路德金遭暗杀、肯尼迪总统被刺身亡、列宁遇刺显丧命、不曾拥有童话的茜茜公主、拯救法兰西的戴高乐虎口脱险等等。图书向读者讲述了一个个精彩而又真实...
-
-
宰相教科书 中国历史上最著名的10大宰相
司徒司空著2015 年出版237 页ISBN:9787516805923风云变幻,朝代兴替,十位名相,十段永世鲜活感人的传奇……以正史为资料,忠于历史,我们从历代难计其数的宰相中遴选出这十位名相,对他们的生平详细记述,并对其是非功过略加评点。重现他们灿烂的人格光辉,以历史......
-
梦中的婚礼 画下24个心动的瞬间
朗苏编著2015 年出版180 页ISBN:9787115390899这是一本色铅笔绘制婚纱的技法大全。全书共分4章,内容包括彩铅基础知识、新娘绘制讲解、新郎与新娘的场景绘制讲解、花童与伴娘绘制讲解。本书内容丰富,技法由简到难,文字讲解细腻,并穿插各种实例,让人在欣赏的....