| 基于重心坐标的平面几何证明器 |
| |
| 引用本文： | 孙纲. 基于重心坐标的平面几何证明器[J]. 广州大学学报(自然科学版), 2007, 6(5): 27-31 |
| |
| 作者姓名： | 孙纲 |
| |
| 作者单位： | 广州体育学院现代教育技术中心,广东,广州,510500 |
| |
| 摘 要： | 证明平面几何问题,所选的参考坐标系对于问题的解决有重要的影响.基于重心坐标系解决平面几何问题的好处是方法简单,过程简洁,同时,有利于实现证明的机械化.将重心坐标作为算法,在Maple下编写的程序Gp可以高效地证明一类平面几何问题.
|
| 关 键 词： | 定理机器证明 重心坐标 几何证明器 |
| 文章编号： | 1671-4229（2007）05-0027-05 |
| 修稿时间： | 2007-01-11 |
Plane geometry prover based on barycentric coordinates |
| |
| SUN Gang. Plane geometry prover based on barycentric coordinates[J]. Journal og Guangzhou University:Natural Science Edition, 2007, 6(5): 27-31 |
| |
| Authors: | SUN Gang |
| |
| Affiliation: | METC,Guangzhou Institute of Physical Education, Guangzhou 510500, China |
| |
| Abstract: | In general,it is very important to choose suitable coordinates for plane geometry problem proving.Using barycentric coordinates to prove geometry problems is simple and the proving process is brief.Furthermore,barycentric coordinates is easy to be realized into the mechanical proving.Adopting barycentric coordinates theory as algorithms,the author implements a program Gp in Maple environment which can efficiently prove plane geometry problems. |
| |
| Keywords: | automated theorem proving barycentric coordinates geometry prover |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
