仿射括号代数理论与算法及其在几何定理机器证明中的应用

• 作者: 张宁 李洪波
• 来源期刊: 中国科学A辑
• 学科: 数学
• 关键词: 定理机器证明 几何不变量 括号代数 仿射几何 仿射括号代数
• 年，卷（期）: 2007,（5）
• 页码范围: 523-531
• 页数: 9页
• 分类号: O1
• 字数: 6404字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-9232.2007.05.002

摘要

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用.文中首次提出了边界扩张算法等几个有效的仿射括号代数算法,同时分析了边界算子的性质,为系统实现奠定了基础.文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作.在符号计算软件Maple 10中,应用上述理论与算法实现了仿射几何的定理机器证明,并用大约100多个例子进行了测试,之后将结果进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李洪波	中国科学院数学与系统科学研究院	36	405	11.0	19.0
2	张宁	中央财经大学中国精算研究院	20	48	5.0	6.0