References
- Ambler , A. and Popplestone , R. , ( 1975 ) Inferring the positions of bodies from specified spatial relationships. Artificial Intelligence , 6 , 157 – 174 .
- Angeles , J. , ( 1982 ) Spatial Kinematic Chains , Springer-Verlag , New York .
- Angeles , J. , ( 1988 ) Rational Kinematics , Springer-Verlag , New York .
- Becker , T. , ( 1993 ) Grobner bases a Computational Approach to Commutative Algebra. Springer-Verlag , New York .
- Bottema , O. and Roth , B. , ( 1979 ) Theoretical Kinematics. North-Holland Press , New York .
- Buchberger , B. , ( 1989 ) Applications of Grobner Basis in non-linear computational geometry , in Geometric Reasoning , D. Kapur and J. Mundy (eds) , MIT Press , pp. 413 – 446 .
- Celaya , E. and Torras , C. , ( 1990 ) Finding object confijgurations that satisfy spatial relationships , in European Conference on Artificial Intelligence , Stockholm .
- Chou , S.-C. , ( 1987 ) Mechanical Geometry Theorem Proving. Reidel Publishing Co. , Dordrecht .
- Chou , S.-C. , ( 1990 ) Automated reasoning in geometries using the characteristic set method and Grobner Basis method , in Proc. International Symposium on Symbolic and Algebraic Computation.
- Herve , J. , ( 1978 ) Analyse structurelle des manismes par groupe des defacements. Mechanism and Machine Theory , 13 , 437 – 450 .
- Hoffmann , CM. , ( 1989 ) Geometric and Solid Modeling. Morgan-Kauf-mann Publishers Co. , San Mateo , California .
- Kapur , D. and Lakshman , Y. , ( 1992 ) Elimination methods an introduction , in Symbolic and Numerical Computation for Artificial Intelligence , B. Donald, D. Kapur and J. Mundy (eds) , Academic Press , London , pp. 45 – 88 .
- Kramer , G. , ( 1992 ) Solving Geometric Constraint Systems. MIT Press .
- Ledermann , W. , ( 1953 ) Introduction to the Theory of Finite Groups. Oliver & Boyd , Edinburgh .
- Ledermann , W. , ( 1973 ) Introduction to Group Theory. Barnes & Noble , New York .
- Mundy , J. , Nguyen , V.-D. and Kapur , D. , ( 1991 ) Modeling genera] polyhedral objects by constraints , in Proc. Computer Vision and Pattern Recognition , Lahaina Maui , Hawaii , IEEE .
- Rocheleau , D.N. and Lee , K. , ( 1987 ) System for interactive assembly modelling. Computer Aided Design , 19 ( 2 ), 65 – 72 .
- Ruiz , O. and Ferreira , P. , ( 1994 ) Algebraic geometry and group theory in geometric constraint satisfaction , in International Symposium on Symbolic and Algebraic Computation , St Catherine's College , University of Oxford .
- Ruiz , O. , Marin , R. and Ferreira , P. , ( 1994 ) A geometric reasoning server with applications to geometric constraint satisfaction and reconfi-gurable feature extraction , in 3rd Luso-German Workshop on Graphics and Modeling in Science and Technology , Coimbra , Portugal .
- Shamos , M. I. , ( 1978 ) Computational geometry. Ph.D. thesis , Yale University .
- Shamos , M.I. and Preparata , F. , ( 1985 ) Computational Geometry. An Introduction. Springer-Verlag , New York .
- Thomas , F. , ( 1991 ) Graphs of kinematic constraints , in Computer Aided Mechanical Assembly Planning , L. Homem de Mello and S. Lee (eds) , Kluwer Academic Publishers , Boston , pp. 81 – 109 .
- Thomas , F. and Torras , C. , ( 1988 ) A group theoretic approach to the computation of symbolic part relations. IEEE Journal of Robotics and Automation , 4 .
- Thomas , F. and Torras , C. , ( 1989 ) Inferring feasible assemblies from spatial constraints. Technical Report IC-DT-1989.03 , Institute of Cybernetics, Inst. Polytecnic of Catalonia .
- Turner , J. , Subramaniam , S. and Gupta , S. , ( 1992 ) Constraint representation and reduction in assembly modeling and analysis. IEEE Journal of Robotics and Automation , 8 , ( 6 ) 741 – 747 .