期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

原文传递
导出
摘要 主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法,同时分析了边界算子的性质,为系统实现奠定了基础．文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作．在符号计算软件Maple 10中,应用上述理论与算法实现了仿射几何的定理机器证明,并用大约100多个例子进行了测试,之后将结果进行了比较．
作者 张宁 李洪波
机构地区 中央财经大学中国精算研究院 中国科学院数学与系统科学研究院
出处 《中国科学（A辑）》 CSCD 北大核心 2007年第5期523-531,共9页 Science in China(Series A)
基金 国家自然科学基金(批准号:10471143)资助项目 中央财经大学校级资助项目(06XY003)
关键词 定理机器证明 几何不变量 括号代数 仿射几何 仿射括号代数
分类号 O153 [理学—基础数学]
  • 相关文献

参考文献7

  • 1Sturmfels B. Algorithms in Invariant Theory. New York: Springer, 1993, 77-93
  • 2White N, Mcmillan T. Cayley Factorization. New York: Proc ISSAC 88, ACM Press, 1988. 4-8
  • 3Whiteley W. Invariant Computations for Analytic Projective Geometry. J of Symbolic Computation, 1991, 11:549-578
  • 4Li H B. Automated geometric theorem proving, clifford bracket algebra and clifford expansions. In: Qian T, et al. Proceedings of Trends in Mathematics: Advances in Analysis and Geometry. Basel: Birkhauser, 2004, 345-363
  • 5Li H B, Wu Y H. Automated theorem proving in projective geometry with Cayley and bracket algebras Ⅰ. Incidence geometry. J of Symbolic Computation, 2003, 36:717-762
  • 6Li H B, Wu Y H. Automated theorem proving in projective geometry with Cayley and bracket algebras Ⅱ. Conic geometry. J of Symbolic Computation, 2003, 36:763-809
  • 7Wu Y H. Bracket algebra, alpine bracket algebra and mechanical theorem proving. PhD Thesis. Beijing: AMSS, 2001, 9-23
中国科学（A辑）
2007年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部