-
1
-
-
0027646769
-
Using geometric rewriting rules for solving geometric problems symbolically
-
B. Brüderlin, Using Geometric Rewriting Rules for Solving Geometric Problems Symbolically, Theoretical Computer Science, 116, 291-303, 1993.
-
(1993)
Theoretical Computer Science
, vol.116
, pp. 291-303
-
-
Brüderlin, B.1
-
2
-
-
0001442744
-
A new method for constraint satisfaction in parametric drafting systems
-
J. X. Dong, J. X. Ge, Y. Gao and H. L. Li, A New Method for Constraint Satisfaction in Parametric Drafting Systems, Journal of CAD & CG, 9(6), 513-519, 1997
-
(1997)
Journal of CAD & CG
, vol.9
, Issue.6
, pp. 513-519
-
-
Dong, J.X.1
Ge, J.X.2
Gao, Y.3
Li, H.L.4
-
3
-
-
0005284683
-
A systematic framework for solving geometric constraints analytically
-
C. Durand and C. M. Hoffmann, A Systematic Framework for Solving Geometric Constraints Analytically, J. of Symbolic Computation, 30(5), 493-529, 2000.
-
(2000)
J. of Symbolic Computation
, vol.30
, Issue.5
, pp. 493-529
-
-
Durand, C.1
Hoffmann, C.M.2
-
4
-
-
0031703314
-
Solving geometric constraint systems I. A global propagation approach
-
X. S. Gao and S. C. Chou, Solving Geometric Constraint Systems I. A Global Propagation Approach, Computer Aided Design, 30(1), 47-54, 1998.
-
(1998)
Computer Aided Design
, vol.30
, Issue.1
, pp. 47-54
-
-
Gao, X.S.1
Chou, S.C.2
-
5
-
-
0032001291
-
Solving geometric constraint systems II. A symbolic approach and decision of rc-constructibility
-
X. S. Gao and S. C. Chou, Solving Geometric Constraint Systems II. A Symbolic Approach and Decision of Rc-constructibility, Computer Aided Design, 30(2), 115-122, 1998.
-
(1998)
Computer Aided Design
, vol.30
, Issue.2
, pp. 115-122
-
-
Gao, X.S.1
Chou, S.C.2
-
6
-
-
0036039571
-
Solving basic geometric constraint configurations with locus intersection
-
ACM Press, New York
-
X. S. Gao, C. M. Hoffmann and W. Yang, Solving Basic Geometric Constraint Configurations with Locus Intersection, Proc. ACM SM02, 95-104, ACM Press, New York, 2002.
-
(2002)
Proc. ACM SM02
, pp. 95-104
-
-
Gao, X.S.1
Hoffmann, C.M.2
Yang, W.3
-
7
-
-
0033318775
-
Geometric constraint satisfaction using optimization methods
-
J. Ge, S.C. Chou and X. Gao, Geometric Constraint Satisfaction Using Optimization Methods, Computer Aided Design, 31(14), 867-879, 2000.
-
(2000)
Computer Aided Design
, vol.31
, Issue.14
, pp. 867-879
-
-
Ge, J.1
Chou, S.C.2
Gao, X.3
-
8
-
-
84948990190
-
Finding solvable subsets of constraint graphs
-
Springer, Berlin Heidelberg
-
C. M. Hoffmann, A. Lomonosov and M. Sitharam, Finding Solvable Subsets of Constraint Graphs, In LNCS, NO. 1330, Springer, Berlin Heidelberg, 163-197, 1997.
-
(1997)
LNCS
, Issue.1330
, pp. 163-197
-
-
Hoffmann, C.M.1
Lomonosov, A.2
Sitharam, M.3
-
9
-
-
0031220431
-
A correct rule-based geometric constraint solver
-
R. Joan-Arinyo and A. Soto, A Correct Rule-Based Geometric Constraint Solver, Computers and Graphics, 21(5), 599-609, 1997.
-
(1997)
Computers and Graphics
, vol.21
, Issue.5
, pp. 599-609
-
-
Joan-Arinyo, R.1
Soto, A.2
-
10
-
-
0001441815
-
Algebraic method for manipulation of dimensional relationships in geometric models
-
K. Kondo, Algebraic Method for Manipulation of Dimensional Relationships in Geometric Models, Computer Aided Design, 24(3), 141-147, 1992.
-
(1992)
Computer Aided Design
, vol.24
, Issue.3
, pp. 141-147
-
-
Kondo, K.1
-
12
-
-
0034830089
-
Sequential constraint imposition for dimension-driven solid models
-
A. V. Kumar and L. Yu, Sequential Constraint Imposition for Dimension-driven Solid Models, Computer Aided Design, 33, 475-486, 2001
-
(2001)
Computer Aided Design
, vol.33
, pp. 475-486
-
-
Kumar, A.V.1
Yu, L.2
-
14
-
-
0030296039
-
Connectivity analysis: A tool for processing geometric constraints
-
R. S. Latham and A. E. Middleditch, Connectivity Analysis: a Tool for Processing Geometric Constraints, Computer Aided Design, 28(11), 917-928, 1994.
-
(1994)
Computer Aided Design
, vol.28
, Issue.11
, pp. 917-928
-
-
Latham, R.S.1
Middleditch, A.E.2
-
15
-
-
0030268791
-
Geometric reasoning for knowledge-based design using graph representation
-
J. Y. Lee and K. Kim, Geometric Reasoning for Knowledge-Based Design Using Graph Representation, Computer Aided Design, 28(10), 831-841, 1998
-
(1998)
Computer Aided Design
, vol.28
, Issue.10
, pp. 831-841
-
-
Lee, J.Y.1
Kim, K.2
-
16
-
-
0007451377
-
Hybrid model of geometric constraint satisfaction
-
Y. T. Li, S. M. Hu and J. Sun, Hybrid Model of Geometric Constraint Satisfaction, J. of Computer Research and Development, 37(10), 1233-1239, 2000
-
(2000)
J. of Computer Research and Development
, vol.37
, Issue.10
, pp. 1233-1239
-
-
Li, Y.T.1
Hu, S.M.2
Sun, J.3
-
17
-
-
0019598063
-
Variational geometryin computer-aided design
-
V. C. Lin, D. C. Gossard and R. A. Light, Variational Geometryin Computer-Aided Design, Computer Graphics, 15(3), 171-177, 1981.
-
(1981)
Computer Graphics
, vol.15
, Issue.3
, pp. 171-177
-
-
Lin, V.C.1
Gossard, D.C.2
Light, R.A.3
-
18
-
-
0012346362
-
Forward solution of the 3-RPR planar parallel mechanism with wu's method
-
H. L. Liu, T. Z. Zhang and H. S. Ding, Forward Solution of the 3-RPR Planar parallel Mechanism with Wu's Method, Journal of Beijing Institute of Technology, 20(5), 565-569, 2000
-
(2000)
Journal of Beijing Institute of Technology
, vol.20
, Issue.5
, pp. 565-569
-
-
Liu, H.L.1
Zhang, T.Z.2
Ding, H.S.3
-
19
-
-
84959208829
-
Algebraic solution for geometryfrom dimensional constraints
-
ACM Press, New York
-
J. Owen, Algebraic Solution for Geometryfrom Dimensional Constraints, In ACM SM, ACM Press, New York, 397-407, 1991.
-
(1991)
ACM SM
, pp. 397-407
-
-
Owen, J.1
-
20
-
-
4444288118
-
Rule-oriented method for parameterized computer-aided design
-
A. Verroust, F. Schonek and D. Roller, Rule-Oriented Method for Parameterized Computer-Aided Design, Computer Aided Design, 24(10), 531-540, 1992.
-
(1992)
Computer Aided Design
, vol.24
, Issue.10
, pp. 531-540
-
-
Verroust, A.1
Schonek, F.2
Roller, D.3
-
21
-
-
0004114493
-
-
Science Press, Beijing, 1984; English Version, Springer-Verlag, Berlin Heidelberg
-
W. T. Wu, Basic Principles of Mechanical Theorem Proving in Geometries, Science Press, Beijing, 1984; English Version, Springer-Verlag, Berlin Heidelberg, 1994.
-
(1994)
Basic Principles of Mechanical Theorem Proving in Geometries
-
-
Wu, W.T.1
|