SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

CAD Computer Aided Design

Volumn 34, Issue 6, 2002, Pages 421-433

Geometric constraint solving with conics and linkages

(3) Gao, Xiao Shan a Jiang, Kun a Zhu, Chang Cai a

a INSTITUTE OF SYSTEMS SCIENCE (China)

Author keywords

Apollonian drawing problems; Conics; Construction methods; Geometric constraint solving; Linkages; Parametric CAD; Tri connected constraint graph

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; GRAPH THEORY; PROBLEM SOLVING;

GEOMETRIC CONSTRAINT SOLVING;

COMPUTER AIDED DESIGN;

EID: 0036568033 PISSN: 00104485 EISSN: None Source Type: Journal
DOI: 10.1016/S0010-4485(01)00114-2 Document Type: Article

Times cited : (9)

References (32)

1
- 84992258804
- On mechanical quantifier elimination for elementary algebra and geometry
- (1988) J Symbolic Computation , vol.5 , pp. 237-260
- Arnon, D.S.¹ Mishra, M.²

2
- 0027646769
- Using geometric rewriting rules for solving geometric problems symbolically
- (1993) Theoretical Computer Science , vol.116 , pp. 291-303
- Bruderlin, B.¹

3
- 0029326172
- Geometric constraint solver
- (1995) Computer Aided Design , vol.27 , pp. 487-501
- Bouma, W.¹ Fudos, I.² Hoffmann, C.³ Cai, J.⁴ Paige, R.⁵

4
- 0027846912
- Constraint definition system: A computer algebra based approach to solving geometric problems
- (1993) Computer Aided Design , vol.25 , Issue.12 , pp. 740-750
- Buchanan, S.A.¹ De Pennington, A.²

5
- 0004192435
- The Netherlands: Kluwer
- (1987) Mechanical geometry theorem proving
- Chou, S.C.¹

6
- 0008220991
- Mechanical formula derivation in elementary geometries
- (1990) Proc ISSAC-90 , pp. 265-270
- Chou, S.C.¹ Gao, X.S.²

7
- 0001499896
- Constraint-based parametric conics for CAD
- (1996) Computer Aided Design , vol.28 , Issue.2 , pp. 91-100
- Fudos, I.¹ Hoffmann, C.M.²

8
- 0003146659
- Automated geometry diagram construction and engineering geometry
- Gao X.S., Wang D., Yang L., editors, Berlin: Springer
- (1999) Automated deduction in geometry , pp. 226-252
- Gao, X.S.¹

9
- 0031703314
- Solving geometric constraint systems I. A global propagation approach
- (1998) Computer Aided Design , vol.30 , Issue.1 , pp. 47-54
- Gao, X.S.¹ Chou, S.C.²

10
- 0032001291
- Solving geometric constraints systems II. A symbolic approach and decision of Rc-constructibility
- (1998) Computer Aided Design , vol.30 , Issue.2 , pp. 115-122
- Gao, X.S.¹ Chou, S.C.²

11
- 4243444551
- Preprint, Institute of Systems Science, Academia Sinica
- (2000) Simulation of complex linkages
- Gao, X.S.¹ Yang, W.Q.²

12
- 0003847483
- in Chinese, Taiwan: Nine Chapter Pub
- (1998) Geometry expert
- Gao, X.S.¹ Zhang, J.Z.² Chou, S.C.³

13
- 0033189129
- Automated generation of Kempe linkage and its complexity
- (1999) J Computer Science and Technology , vol.14 , pp. 460-467
- Gao, X.S.¹ Zhu, G.C.²

14
- 0031220431
- A correct rule-based geometric constraint solver
- (1997) Comput Graphics , vol.21 , Issue.5 , pp. 599-609
- Joan-Arinyo, R.¹ Soto, A.²

15
- 0002908915
- Combining constructive and equational geometric constraint-solving techniques
- (1999) ACM Trac Graphics , vol.18 , Issue.1 , pp. 35-55
- Joan-Arinyo, R.¹ Soto, A.²

16
- 4243444948
- Algorithms for polynomial real roots isolation
- Caviness B.F., Johnson J.R., editors, New York: Springer-Verlag
- (1998) Quantifier elimination and cylindrical algebraic decomposition , pp. 269-299
- Johnson, J.R.¹

17
- 0004109024
- New York: McGraw-Hill
- (1964) Kinematic synthesis of linkages
- Hartenberg, R.S.¹ Denavit, J.²

18
- 0003392496
- The Juno-2 constraint-based drawing editor
- (1994) SRC Research Report , vol.131 A
- Heydon, A.¹ Nelson, G.²

19
- 0000599575
- 3
- Du D.Z., Huang F., editors, Singapore: Word Scientific
- (1995) Computing in Euclidean geometry , pp. 266-298
- Hoffman, C.M.¹

20
- 84948990190
- Finding solvable subsets of constraint graphs
- Springer
- (1997) LNCS , vol.1330 , pp. 163-197
- Hoffmann, C.M.¹ Lomonosov, A.² Sitharam, M.³

21
- 0008213320
- Spatial constraints on lines
- Zurich, Switzerland, September
- (2000) Invited speech on ADG'2000
- Hoffmann, C.M.¹

22
- 84960582077
- On a general method of describing plane curves of the nth degree by linkwork
- see also Messenger of Math., T. VI., 143-144
- Proc. of LMS , vol.1876 , pp. 213-216
- Kempe, A.B.¹

23
- 0003779743
- Cambridge, MA: MIT Press
- (1992) Solving geometric constraints systems: A case study in kinematics
- Kramer, G.A.¹

24
- 0001441815
- Algebraic method for manipulation of dimensional relationships in geometric models
- (1992) Computer Aided Design , vol.24 , Issue.3 , pp. 141-147
- Kondo, K.¹

25
- 0030107414
- Solving geometric constraints by homotopy
- (1996) IEEE Trans Visualization and Computer Graphics , vol.2 , Issue.1 , pp. 28-34
- Lamure, H.¹ Michelucci, D.²

26
- 0030296039
- Connectivity analysis: A tool for processing geometric constraints
- (1994) Computer Aided Design , vol.28 , Issue.11 , pp. 917-928
- Latheam, R.S.¹ Middleditch, A.S.²

27
- 0030268791
- Geometric reasoning for knowledge-based design using graph representation
- (1998) Computer Aided Design , vol.28 , Issue.10 , pp. 831-841
- Lee, J.Y.¹ Kim, K.²

28
- 0019598063
- Variational geometry in computer-aided design
- (1981) Computer Graphics , vol.15 , Issue.3 , pp. 171-177
- Lin, V.C.¹ Gossard, D.C.² Light, R.A.³

29
- 84959208829
- Algebraic solution for geometry from dimensional
- Austin, TX: ACM Press
- (1991) ACM Symp., Found. of Solid Modeling , pp. 397-407
- Owen, J.¹

30
- 0000721061
- Specification of shape by dimension and other geometric constraints
- Amsterdam: North-Holland
- (1998) Geometric modeling for CAD application , pp. 199-213
- Sunde, G.¹

31
- 4444288118
- Rule-oriented method for parameterized computer-aided design
- (1992) Computer Aided Design , vol.24 , Issue.10 , pp. 531-540
- Verroust, A.¹ Schonek, F.² Roller, D.³

32
- 0004114493
- Berlin: Science Press, English version, Springer-Verlag, 1994
- (1984) Basic principles of mechanical theorem proving in geometries
- Wu, W.T.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.