Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility

CSpace

	Solving geometric constraint systems. II. A symbolic approach and decision of rc-constructibility
	Gao, XS ; Chou, SC
	1998-02-01
发表期刊	COMPUTER-AIDED DESIGN
ISSN	0010-4485
卷号	30 期号:2 页码:115-122
摘要	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.
关键词	geometric constraint system solving symbolic computation decision of ruler and compass construction intelligent CAD
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Software Engineering
WOS记录号	WOS:000073435800003
出版者	ELSEVIER SCI LTD
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/13404
专题	中国科学院数学与系统科学研究院
通讯作者	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.