CSpace

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
Automated generation of Kempe linkages for algebraic curves and surfaces 期刊论文
MECHANISM AND MACHINE THEORY, 2001, 卷号: 36, 期号: 9, 页码: 1019-1033
Authors:  Gao, XS;  Zhu, CC;  Chou, SC;  Ge, JX
Favorite  |  View/Download:30/0  |  Submit date:2018/07/30
CAD  linkage synthesis  Peaucellier linkage  Kempe linkage  algebraic curves and surfaces  animation  complexity  
A deductive database approach to automated geometry theorem proving and discovering 期刊论文
JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 3, 页码: 219-246
Authors:  Chou, SC;  Gao, XS;  Zhang, JZ
Favorite  |  View/Download:38/0  |  Submit date:2018/07/30
deductive database  automated geometry theorem proving and discovering  search strategies  redundant deduction  Skolemization  structured database  
Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility 期刊论文
COMPUTER-AIDED DESIGN, 1998, 卷号: 30, 期号: 2, 页码: 115-122
Authors:  Gao, XS;  Chou, SC
Favorite  |  View/Download:39/0  |  Submit date:2018/07/30
geometric constraint system solving  symbolic computation  decision of ruler and compass construction  intelligent CAD  
Solving geometric constraint systems. I. A global propagation approach 期刊论文
COMPUTER-AIDED DESIGN, 1998, 卷号: 30, 期号: 1, 页码: 47-54
Authors:  Gao, XS;  Chou, SC
Favorite  |  View/Download:43/0  |  Submit date:2018/07/30
geometric constraint system solving  global propagation  intelligent CAD  
PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE 期刊论文
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 卷号: 607, 页码: 20-34
Authors:  CHOU, SC;  GAO, XS
Favorite  |  View/Download:28/0  |  Submit date:2018/07/30
GEOMETRY THEOREM PROVING  WU METHOD  NONDEGENERATE CONDITION  GENERALLY TRUE  CONSTRUCTIVE GEOMETRY STATEMENT  EUCLIDEAN GEOMETRY  METRIC GEOMETRY  ALGEBRAICALLY CLOSED FIELD