当前位置：首页 > 名称
大约有513,735项符合查询结果项。（搜索耗时：0.5822秒）
为您推荐： 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
平面几何证明方法全书
沈文选，叶中豪，田廷彦著2005 年出版454 页ISBN：7560322158本书共分三篇。每篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质。本书可供数学奥林匹克教练员、培训班，国家级省级骨干教师培训班以及中学教师参考用书，也...
-
-
-
-
-
-
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
代数几何中的Bezout定理
佩捷2016 年出版569 页ISBN：9787560356624代数几何是数学中的一个重要分支，国内外很多著名的数学家都从事过对它的研究。本书共分十章，分别为：一道背景深刻的IMO试题、多项式的简单预备知识、代数几何中的贝祖定理的简单情形、射影空间中的交、代数几...
-
教材完全解读 选修·专题 高中数学 选修 几何证明选讲 矩阵与变换
曾祥红本册主编2007 年出版158 页ISBN：9787544801072本书双栏对照，对教材全解全析，在学科层次上力求讲深、讲透、讲出特色；注重典型案例学习，突出鲜活、典型和示范的特点
学科分类
出版时间