几何专家 几何定理证明
《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来,中国学者在这方面的研究可谓异彩纷呈,成果累累,屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形,可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
用户评论
推荐下载
-
计算几何资料
1. 矢量的概念2. 矢量加减法3. 矢量叉积4. 折线段的拐向判断5. 判断点是否在线段上6. 判断两线段是否相交7. 判断线段和直线是否相交8. 判断矩形是否包含点9. 判断线段、折线、多边形是否
32 2018-12-21 -
空间几何计算
计算几何 目录 ㈠ 点的基本运算 1. 平面上两点之间距离 1 2. 判断两点是否重合 1 3. 矢量叉乘 1 4. 矢量点乘 2 5. 判断点是否在线段上 2 6. 求一点饶某点旋转后的坐标 2 7
63 2018-12-21 -
工业几何Pottman
这是Pottman在清华大学的讲座,工业几何
22 2019-05-15 -
多视图几何
多视图几何(Three-dimensionalcomputervision:ageometricviewpoint)(网页复制)
30 2019-05-19 -
几何画板软件
几何画板是一个通用的数学、物理教学环境,提供丰富而方便的创造功能使用户可以随心所欲地编写出自己需要的教学课件。 软件提供充分的手段帮助用户实现其教学思想,只需要熟悉软件的简单的使用技巧即可自行设计和编
54 2019-04-16 -
几何画板提
几何画板的一个文件,为谋提制图
39 2019-04-16 -
计算几何模板
计算几何模板 if( (a.y2-a.y1)*(b.x2-b.x1)==(b.y2-b.y1)*(a.x2-a.x1) ) //向量判别是否平行 x1y2=x2y1 { if( (a.y1-b.y2)
32 2019-04-17 -
几何画板5.06
几何画板又称Sketchpad,是一款非常实用的数学物理通用的教学软件,为用户提供丰富而方便的创造功能使用户可以随心所欲地编写出自己需要的教学课件,是最出色的教学软件之一。该软件主要以点、线、圆为基本
45 2019-04-03 -
几何原本_欧几里得
欧几里得的几何原本,共708页,pdf格式
61 2019-05-15 -
opengl几何变换
opengl几何变换武汉理工大学郭羽成验收
26 2019-05-17
暂无评论