中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 12, 页码: 2137-2148
作者:  Huang Lei;  Li HongBo
收藏  |  浏览/下载：105/0  |  提交时间：2018/07/30
conformal geometric algebra (CGA)  null bracket algebra (NBA)  geometric invariant  mechanical proving  normal forms  68T15  03B35  
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
收藏  |  浏览/下载：119/0  |  提交时间：2018/07/30
mechanical theorem proving  Wu-Ritt's characteristic set method  local theory of surface  Wronskian determinant  
Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950
作者:  Zhang, Ning;  Li, Hong-bo
收藏  |  浏览/下载：93/0  |  提交时间：2018/07/30
mechanical theorem proving  geometric invariance  bracket algebra  affine geometry  affine bracket algebra  
Vectorial equations solving for mechanical geometry theorem proving 期刊论文
JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 2, 页码: 83-121
作者:  Li, JB
收藏  |  浏览/下载：88/0  |  提交时间：2018/07/30
mechanical theorem proving  Wu's method  Clifford algebra  vectorial equations solving  the area method  
Mechanical theorem proving in differential geometry - Local theory of surfaces 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 卷号: 40, 期号: 4, 页码: 350-356
作者:  Li, HB
收藏  |  浏览/下载：67/0  |  提交时间：2018/07/30
Wu's method  differential forms  Chern's theorem  
Ordering in mechanical geometry theorem proving 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 卷号: 40, 期号: 3, 页码: 225-233
作者:  Li, HB
收藏  |  浏览/下载：64/0  |  提交时间：2018/07/30
Wu's method  order  Thebault's theorem  
A CONSTRUCTIVE THEORY OF DIFFERENTIAL ALGEBRAIC-GEOMETRY BASED ON WORKS OF RITT,J.F. WITH PARTICULAR APPLICATIONS TO MECHANICAL THEOREM-PROVING OF DIFFERENTIAL GEOMETRIES 期刊论文
LECTURE NOTES IN MATHEMATICS, 1987, 卷号: 1255, 页码: 173-189
作者:  WU, WT
收藏  |  浏览/下载：84/0  |  提交时间：2018/07/30
SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY 期刊论文
ACTA MATHEMATICA SCIENTIA, 1983, 卷号: 3, 期号: 4, 页码: 357-360
作者:  WU, WJ
收藏  |  浏览/下载：75/0  |  提交时间：2018/07/30