期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
仿射括号代数理论与算法及其在几何定理机器证明中的应用
1
作者 张宁 李洪波 《中国科学（A辑）》 CSCD 北大核心 2007年第5期523-531,共9页
主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法,同时分析了边界算子的性质,为系统实现奠定了基础．文中也提及了单括号因子整除判定、单项式因子整除判定、仿... 主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法,同时分析了边界算子的性质,为系统实现奠定了基础．文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作．在符号计算软件Maple 10中,应用上述理论与算法实现了仿射几何的定理机器证明,并用大约100多个例子进行了测试,之后将结果进行了比较． 展开更多
关键词 定理机器证明 几何不变量 括号代数 仿射几何 仿射括号代数
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部