|
|||||
|
|
| 仿射括号代数理论与算法及其在几何定理机器证明中的应用 | |
| 作者姓名： | 张宁 李洪波 |
| 作者单位： | 1. 央财经大学中国精算研究院, 北京 100081 2. 中国科学院数学与系统科学研究院, 北京 100080 |
| 基金项目： | 国家自然科学基金;中央财经大学校级资助项目 |
| 摘 要： | 主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较. |
| 关 键 词： | 几何不变量 括号代数 仿射几何 仿射括号代数 定理机器证明 |
| 收稿时间： | 2006-01-13 |
| 修稿时间： | 2006-01-13 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |