中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共3条，第1-3条 帮助

条数/页： 排序方式：
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文  OAI收割
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
  |  收藏  |  浏览/下载：25/0  |  提交时间：2018/07/30
Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving 期刊论文  OAI收割
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950
作者:  Zhang, Ning;  Li, Hong-bo
  |  收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30
MMP/geometer - A software package for automated geometric reasoning 期刊论文  OAI收割
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
作者:  Gao, XS;  Lin, Q
  |  收藏  |  浏览/下载：18/0  |  提交时间：2018/07/30