面向几何对象语言的设计与实施
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第一章 引言 | 第10-18页 |
| §1.1 选题动机 | 第10-12页 |
| §1.2 研发现状 | 第12-15页 |
| §1.3 论文结构 | 第15-18页 |
| 第二章 几何计算和推理 | 第18-42页 |
| §2.1 历史背景 | 第18-20页 |
| §2.2 坐标法 | 第20-33页 |
| §2.3 非坐标法 | 第33-37页 |
| §2.4 人工智能方法 | 第37-38页 |
| §2.5 软件包 | 第38-42页 |
| 第三章 语言设计 | 第42-62页 |
| §3.1 几何形式化 | 第42-45页 |
| §3.2 整体设计 | 第45-48页 |
| §3.3 组成部分 | 第48-62页 |
| 第四章 系统实施 | 第62-80页 |
| §4.1 语言选择 | 第62-63页 |
| §4.2 基本模块 | 第63-73页 |
| §4.3 其它细节 | 第73-80页 |
| 第五章 约束处理 | 第80-92页 |
| §5.1 约束化简 | 第80-82页 |
| §5.2 相容性检查 | 第82-85页 |
| §5.3 关系推导 | 第85-92页 |
| 第六章 动态几何约束求解 | 第92-106页 |
| §6.1 解的根式表示 | 第92-95页 |
| §6.2 实根表示 | 第95-99页 |
| §6.3 生成动态图形 | 第99-106页 |
| 第七章 总结与展望 | 第106-112页 |
| §7.1 约束处理 | 第106-108页 |
| §7.2 知识管理 | 第108-109页 |
| §7.3 保持几何性 | 第109-112页 |
| 参考文献 | 第112-118页 |
| 致谢 | 第118-120页 |
| 发表论文 | 第120页 |
