大约有10,000项符合查询结果项。（搜索耗时：0.0336秒）
为您推荐： 几何定理机器证明的案例 几何定理的机械化证明 几何最著名24个定理证明及应用 交互式定理证明与程序开发 拉克洛瓦 韦达定理 证明方法 几何证明
-
几何瑰宝 平面几何500名题暨1000条定理 上
沈文选，杨清桃编著2010 年出版541 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
几何瑰宝 平面几何500名题暨1000条定理 下
沈文选，杨清桃编著2010 年出版597 页ISBN：7560330126本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...
-
从代数基本定理到超越数 一段经典数学的奇幻之旅
冯承天著2017 年出版148 页ISBN：9787567558588本书分为四个部分，共计十四章，如“从自然数系到有理数系”、“无理数与实数系”、“代数、基本定理的定性说明”、“业余数学家阿尔岗的证明”、“美国数学家安凯屈的证明”、“圆周率及其元理性”、“自然对...
-
平面几何证明方法全书习题解答
沈文选编著2005 年出版297 页ISBN：7560322166本书共分两部分，第一部分为平面几何证明方法全书习题部分的解答；第二部分汇集了近年来国内外数学竞赛中几何试题精选，通过了解竞赛真题，可激发学生的学习兴趣，启迪学生的思维，提高学生参加竞赛的实战能力。...
-
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
代数几何中的Bezout定理
佩捷2016 年出版569 页ISBN：9787560356624代数几何是数学中的一个重要分支，国内外很多著名的数学家都从事过对它的研究。本书共分十章，分别为：一道背景深刻的IMO试题、多项式的简单预备知识、代数几何中的贝祖定理的简单情形、射影空间中的交、代数几...
-
代数几何中的贝组定理
《代数几何中的贝祖定理，从一道IMO试题的解法谈起》刘培杰编著2012 年出版77 页ISBN：9787560336404代数几何是数学中的一个重要分支，国内外很多著名的数学家都从事过对它的研究。本书从一道IMO试题的解法谈起，详细介绍了代数几何中的贝祖定理。全书共分五章，分别为：一道背景深刻的IMO试题、多项式的简单预备知...
-
几何 1 微分几何的基本概念
R.V.Gamkrelidze著2009 年出版266 页ISBN：9787030234988本书由浅入深介绍了微分几何的基本概念和理论结果，全面而详实，对从事该领域研究的入门研究生和科研人员都有很好的参考价值。
-
