咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 1 篇 可读证明
  • 1 篇 几何定理机器证明
  • 1 篇 代数方法
  • 1 篇 基于数据库的搜索...
  • 1 篇 面积法

机构

  • 1 篇 广州大学
  • 1 篇 中国科学院成都计...
  • 1 篇 电子科技大学

作者

  • 1 篇 zhang jingzhong
  • 1 篇 张景中
  • 1 篇 李永彬
  • 1 篇 li yongbin

语言

  • 1 篇 中文
检索条件"机构=电子科技大学与中科院成都计算所自动推理联合实验室"
1 条 记 录,以下是1-10 订阅
排序:
几何定理机器证明三十年
收藏 引用
系统科学与数学 2009年 第9期29卷 1155-1168页
作者: 张景中 李永彬 电子科技大学与中科院成都计算所自动推理联合实验室 成都610054 中国科学院成都计算机应用研究所 成都610041 广州大学计算机与教育软件学院 广州510006 电子科技大学应用数学学院 成都610054
由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索... 详细信息
来源: 评论