CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity 期刊论文
Journal of Systems Science and Complexity, 2019, 卷号: 32, 期号: 1, 页码: 78-94
作者:  Zhang, Jingzhong;  Peng, Xicheng;  Chen, Mao
收藏  |  浏览/下载：17/0  |  提交时间：2020/02/18
Mechanical geometry theorem proving based on groebner bases 期刊论文
2015, 2015
Jinzhao Wu（吴尽昭）
收藏  |  浏览/下载：6/0  |  提交时间：2017/06/19
automated generation of readable proofs for constructive geometry statements with the mass point method 会议论文
8th International Workshop on Automated Deduction in Geometry, ADG 2010, Munich, Germany, July 22, 2010 - July 24, 2010
Zou Yu; Zhang Jingzhong
收藏  |  浏览/下载：23/0  |  提交时间：2013/10/08
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774
作者:  Feng RuYong;  Yu JianPing
收藏  |  浏览/下载：11/0  |  提交时间：2018/07/30
Determination of fractal dimensions of silicon dioxide xerogel by means of gas-adsorption 期刊论文
ACTA PHYSICA SINICA, 2005, 卷号: 54, 期号: 1, 页码: #REF!
作者:  Sheng, YG;  Xu, Y;  Li, ZH;  Wu, D;  Sun, YH
收藏  |  浏览/下载：11/0  |  提交时间：2016/04/12
Mechanical geometry theorem proving based on Groebner bases 其他
1997-01-01
Jinzhao, Wu
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE 期刊论文
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 卷号: 607, 页码: 20-34
作者:  CHOU, SC;  GAO, XS
收藏  |  浏览/下载：10/0  |  提交时间：2018/07/30

©版权所有 ©2017 CSpace - Powered by CSpace