咨询与建议

限定检索结果

文献类型

  • 1 篇 学位论文

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学

主题

  • 1 篇 仿射几何
  • 1 篇 仿射括号代数算法
  • 1 篇 定理机器证明
  • 1 篇 符号计算软件

机构

  • 1 篇 中国科学院数学与...

作者

  • 1 篇 张宁

语言

  • 1 篇 中文
检索条件"主题词=仿射括号代数算法"
1 条 记 录,以下是1-10 订阅
排序:
仿射括号代数算法及其在机器定理证明中的应用
仿射括号代数算法及其在机器定理证明中的应用
收藏 引用
作者: 张宁 中国科学院数学与系统科学研究院
学位级别:博士
本文主要讨论仿括号代数算法和它在定理机器证明中的应用两方面的问题.\n 本文的动机有如下两个方面:\n (1)括号代数作为一种崭新的定理机器证明工具已经被广泛研究,并且展示了它的强大优势.但是作为括号代数的自然扩展,... 详细信息
来源: 评论