CSpace

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
Authors:  Li, HB;  Wu, YH
Favorite  |  View/Download:2/0  |  Submit date:2018/07/30
bracket algebra  Cayley algebra  automated theorem proving  projective conic geometry