Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility
文献类型：期刊论文
| 作者 | Gao, XS; Chou, SC |
| 刊名 | COMPUTER-AIDED DESIGN
 |
| 出版日期 | 1998-02-01 |
| 卷号 | 30期号:2页码:115-122 |
| 关键词 | geometric constraint system solving symbolic computation decision of ruler and compass construction intelligent CAD |
| ISSN号 | 0010-4485 |
| 英文摘要 | This paper reports a geometric constraint-solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equations and give complete methods of deciding whether the constraints are independent and whether a constraint system is over-constraint. Based on symbolic computation, we also have a decision procedure for the problem of deciding whether a constrained diagram can be constructed with ruler and compass (rc-constructibility). (C) 1998 Elsevier Science Ltd. All rights reserved. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000073435800003 |
| 出版者 | ELSEVIER SCI LTD |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/13403]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | Chou, SC |
| 作者单位 | 1.Wichita State Univ, Dept Comp Sci, Wichita, KS 67208 USA 2.Acad Sinica, Inst Syst Sci, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Gao, XS,Chou, SC. Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility[J]. COMPUTER-AIDED DESIGN,1998,30(2):115-122. |
| APA | Gao, XS,&Chou, SC.(1998).Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility.COMPUTER-AIDED DESIGN,30(2),115-122. |
| MLA | Gao, XS,et al."Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility".COMPUTER-AIDED DESIGN 30.2(1998):115-122. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。