位置：立项数据库 > 立项详情页
　基于质点法的几何定理可读机器证明新算法研究
  • 项目名称：　基于质点法的几何定理可读机器证明新算法研究
  • 批准号：2012A019
  • 项目来源：2012年广州市属高校科研项目
  • 研究期限：2013-05-
  • 项目负责人：邹宇
  • 依托单位：广州大学
  • 批准年度：2012
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 14
  • 0
  • 0
  • 0
  • 0
期刊论文
SGARP中符号计算模块的实现及其应用
SGARP中全角法的实现
质点法在SGARP中的新实现
几何定理机器证明复系数质点法的改进及其应用
Z+Z智能教育平台超级画板的发展之我见
表情识别的影响：评价联结还是刻板印象？
天麻的化学成分研究（Ⅱ）
水泥厂氨排放标准存在的问题及氨排放控制
红藤煎剂对盆腔炎模型大鼠子宫内膜整合素αvβ3表达影响的实验研究
贵州省基础教育信息化现状分析及对策
一类超线性时滞差分方程组的周期解
巧用文言文中的写作素材
作辅助线求完全四边形线段比例的机械化方法
红藤煎剂对盆腔炎大鼠子宫内膜HOXA10表达影响的实验研究
邹宇的项目
可构图几何定理向量法可读机器证明的完全性新算法
期刊论文 6
点几何及其机器证明