CSpace

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
Authors:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
Favorite  |  View/Download:3/0  |  Submit date:2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery  
Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950
Authors:  Zhang, Ning;  Li, Hong-bo
Favorite  |  View/Download:5/0  |  Submit date:2018/07/30
mechanical theorem proving  geometric invariance  bracket algebra  affine geometry  affine bracket algebra  
MMP/geometer - A software package for automated geometric reasoning 期刊论文
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
Authors:  Gao, XS;  Lin, Q
Favorite  |  View/Download:5/0  |  Submit date:2018/07/30
geometry software  automated reasoning  geometric theorem proving  geometric theorem discovering  geometric diagram generation  intelligent dynamic geometry