咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 几何定理自动证明
  • 1 篇 前推法
  • 1 篇 可构造性几何命题
  • 1 篇 自动推理
  • 1 篇 构图
  • 1 篇 面向对象
  • 1 篇 消点法
  • 1 篇 原型

机构

  • 2 篇 河南大学
  • 1 篇 华中师范大学

作者

  • 1 篇 白景华
  • 1 篇 罗慧敏
  • 1 篇 韩道军

语言

  • 2 篇 中文
检索条件"主题词=几何定理自动证明"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于面向对象的几何定理自动证明系统设计与实现
收藏
分享
引用
计算机时代 2012年 第7期 26-27,30页
作者： 白景华 韩道军 河南大学软件学院 河南开封475004 河南大学数据与知识工程研究所
针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于消点法的几何自动推理系统实现
收藏
分享
引用
计算机应用 2008年 第11期28卷 2984-2986页
作者： 罗慧敏 河南大学计算机与信息工程学院 河南开封475003 华中师范大学教育信息技术工程研究中心 武汉430079
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件