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

被引：60
作者：
Gao, XS
Chou, SC [1 ]
机构：
[1] Wichita State Univ, Dept Comp Sci, Wichita, KS 67208 USA
[2] Acad Sinica, Inst Syst Sci, Beijing 100080, Peoples R China
来源：
COMPUTER-AIDED DESIGN | 1998年 / 30卷 / 02期
关键词：
geometric constraint system solving; symbolic computation; decision of ruler and compass construction; intelligent CAD;
D O I：
10.1016/S0010-4485(97)00055-9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：115 / 122
页数：8
相关论文
共 21 条
[1]  
[Anonymous], 1991, MAPLE 5
[2]  
[Anonymous], BASIC PRINCIPLES MEC
[3]  
[Anonymous], 1993, CHINESE SCI BULL
[4]  
BUCHBERGER B, 1985, ALGOITHM METHOD POLY
[5]  
CHOU SC, P ISSAC 90, P265
[6]  
COLLINS GE, 1977, INFALLIBLE CALCULATI, P35
[7]  
GALLO C, 1989, EFFICIENT ALGORITHMS
[8]   Solving geometric constraint systems. I. A global propagation approach [J].
Gao, XS ;
Chou, SC .
COMPUTER-AIDED DESIGN, 1998, 30 (01) :47-54
[9]  
GAO XS, IN PRESS J SYMBOLIC
[10]  
GAO XS, 1996, WSUCS963
123