| 几何自动推理系统发展研究 |
| |
| 引用本文： | 刘颖奇,黄勇. 几何自动推理系统发展研究[J]. 山西广播电视大学学报, 2010, 15(3): 40-41 |
| |
| 作者姓名： | 刘颖奇 黄勇 |
| |
| 作者单位： | 广州大学计算机科学与教育软件学院,广东,广州,510006 |
| |
| 摘 要： | 通过回顾几何自动推理与几何软件的历史与研究现状，探讨了几何自动推理系统的发展，得出几何自动推理系统应向网络化发展的结论。
|
| 关 键 词： | 自动推理 几何 软件 |
Study on the Development of Geometric Automated Reasoning System |
| |
| Liu Yingqi,Huang Yong. Study on the Development of Geometric Automated Reasoning System[J]. Journal of Shanxi Radio & Tv University, 2010, 15(3): 40-41 |
| |
| Authors: | Liu Yingqi Huang Yong |
| |
| Affiliation: | (School of Computer Science ＆ Educational Software, Guangzhou University; Guangzhou, Guangdong, 510006) |
| |
| Abstract: | By review of the history and research status of geometric automated reasoning and geometry software, this paper explores the development of geometric reasoning system, and draws a conclusion that a web - based geometric automated reasoning system should be developed. |
| |
| Keywords: | automated reasoning Geometry software |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
