. Da, Base de connaissance en code mapîe générée par MEDUSA MF77 Partie 4

. Id, y.f26 ld, fl4,y,f 18 ld, pp.7-9, 0142.

. Id, f6 ld2 [y,17+-0xl000],y.f8 fmuid y.f8,y.f6,y.fio ld2, p.16

. Id, y.n] ld [ s /.fp+0x5c12 id2 [y,i2] ,y,f i8 id [y,fp+ox48] ,y.i3 ld2 [ , / 1 13] ) y.f20 fmuld, il id2 cy,ii],y.f3o ldf2 ld [7.fp+Ox703 ) y.i3 st2f6 fmuld y.f617+-0xff0] ,y.f20 fmuld y.f20 ) '/.fl8 ) y,f22 fsubd y, pp.4-6, 1942.

R. Et, B. H. Abelson, G. J. Sussman, and &. J. Sussman, Structure and interpretation of computer programs, 1987.

[. Abraham and &. J. Marsden, Fundations of Mechanics, The Benjamin, 1978.

]. J. Ange-82 and . Angeles, Spatial Kinematic Chains, 1982.

]. J. Ange-88 and . Angeles, Rational Kinematics, 1988.

]. J. Ange-90, A. Angeles, &. P. Alivizatos, and . Zsombor-muray, The Synthesis of Smooth Trajectories for Pick and Place Operations, IEEE Trans, on Syst., Man and Cybernetics, vol.18, pp.173-178, 1990.

. Appe-11-]-p and . Appell, Traité de Mécanique Rationnelle, 1911.

]. A. Barr-81, E. A. Barr, and . Feingenbaum, The Handbook of Artificial Intelligence, 1981.

R. K. Bejeczy, Robot Arm Dynamic and Control, NASA Tech. Memo. n° 33-669. JPL, Feb, 1974.

]. J. Bert-10 and . Bertrand, Dialogo Sopra le due Massimi Sistemi del Mundo, Edition Florence, 1710.

. Bour-70-]-n and . Bourbaki, Eléments de Mathématique: Algèbre", Chapitres 1 à 3, Diffusion CCLS, 1970.

¡. Chevallier and &. Helmer, Formation des Equations de la Dynamique: Examen des Divers Méthodes, Annales des Ponts et Chaussées, vol.29, pp.5-19, 1984.

¡. K. Clifford, Preliminary Sketch of Biquaternions, Proceedings of the London Mathematical Society, vol.1, issue.1, 1873.
DOI : 10.1112/plms/s1-4.1.381

. K. Cli-878-]-w and . Clifford, Applications of Grassmann's Extensive Algebra, Jour, of Math. Pure and Applied, vol.1, pp.350-358, 1878.

&. Clocksin, . Cs, and . Mellish, Programming in Prolog, 1984.

. Coif-81-]-p and . Coiffet, Les Robots: Modélisation et Commande, 1981.

]. J. Dena-55, &. R. Denavit, and . Hartenberg, A Kinematic Notation for Lower-Pair Mechanisms Based on Matrices, ASME Journal of Applied Mechanics, pp.215-221, 1955.

. Ders-89-]-n, &. J. Dershowitz, and . Jouammaud, Rewrite Systems, 1989.

. A. Desl-87-]-e and . Desloge, Relationship Between Kane's Equations and the Gibbs-Appei Equations, J. of Guidance and Control Dynamics, vol.12, 1987.

. [. Dieudonné, Eléments d'Analyse, 1975.

&. W. Dombre and . Khalil, Modélisation et Commande des Robots, Hermès, 1988.

. Farr-87-]-h, M. Farreny, and . Ghallab, Eléments d'Intelligence Artificielle, Hermes, 1987.

]. J. Fava-57 and . Favard, Cours de Géométrie Différentielle Locale, 1957.

. Flaj-90-]-p and . Flajolet, On Adaptative Sampling, Computing, vol.34, pp.391-400, 1990.

]. J. Fran-69 and . Adams, Lectures on Lie Groups, 1969.

. Gera-89-]-m, &. Geradin, and . Cardona, Time Integration of the Equation of Motion in Mechanism Analysis, Computer and Structurs, vol.33, issue.3, pp.801-820, 1989.

. W. Gibb-879-]-j and . Gibbs, On the Fundamentale Formulae of Dynamics, American J. of Mathmatics, vol.11, pp.49-64, 1879.

&. M. Gorla and . Renaud, Modèles des Robots Manipulateurs: Application à leur Commande, Cepadues-Editions, 1984.

«. J. ¡m-ur, ». Ix-*-nm-Ï-bt, and H. Hamlili, Application des Systèmes de Calcul Formel pour l'Automatisation de la Modélisation Mathématique des Robots Industriels, Actes du Workshop Calcul formel, pp.23-25, 1992.

M. Hato-89-]-j-p.-k and . Haton, L'Intelligence Artificielle, PUF, 1989.

A. Heck, Introduction to Maple, 1992.

&. G. Hooker and . Margulies, The Dynamical Attitude Equation for a N-Bar Satellite, J. of Astronautical Sciences, vol.12, issue.4, pp.123-128, 1965.

. Huet-80j-g and . Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980.
DOI : 10.1145/322217.322230

. E. Hump-72-]-j and . Humphreys, Introduction to Lie Algebras and Representation Theory, 1972.

. H. Hun-78a-]-k and . Hunt, Spacial Configurations of Robot-Arms via Screw Theory (Part 2), Rebotica, vol.5, pp.17-22, 1978.

. H. Hun-78b-]-k and . Hunt, Kinematic Geometry of Mechanisms, Oxford Engineering Series, 1978.

. L. Hust-71-]-r, &. E. Huston, and . Passerello, On the Dynamics of Human Body Model, J. of Biomechanics, vol.4, pp.369-378, 1971.

. S. Hwan-89-]-r, &. J. Hwang, and . Haug, Topological Analysis of Multibody Systems Recursive Dynamics Formulations, Mech. Struct, and Mach, vol.17, issue.2, pp.239-258, 1989.

. D. Jenk-92-]-r, &. R. Jenks, and . Sutor, Axiom?: The Scientific Computer System, 1992.

. J. Joua-86j, &. E. Jouannaud, and . Kounalis, Automatic Proofs by Induction in Equtional Theories without Constructors, Logic in Computer Science pp, pp.358-366, 1986.

[. R. Kane-sz and D. A. Levinson, Formulation of Equations of Motion for Complex Spacecraft, Journal of Guidance, Control, and Dynamics, vol.3, issue.2, 1980.
DOI : 10.2514/3.55956

T. R. Kane and &. D. Levinson, The Use of Kane's Dynamical Equations in Robotics, The International Journal of Robotics Research, vol.104, issue.2, pp.3-21, 1983.
DOI : 10.1177/027836498300200301

. E. Kahn-69-]-m and . Kahn, The Near Minimum-Time Control of Open-Loop Articulated Kinematic Chains, Standford Artificial Intelligence Laboratory, AI Memo, vol.106, 1969.

. E. Kahn-71-]-m, &. B. Kahn, and . Roth, The Near Minimum-Time Control of Open-Loop Articulated Kinematic Chains, J. Dynamic Systems Measurment Control, vol.93, pp.167-172, 1971.

A. Karger and &. J. Novak, Space Kinematics and Lie Groups, 1985.

. E. Keat-87-]-j and . Keat, Comment on "Relationship Between Kane's Equations and the Gibbs-Appell Equations", Journal of Guidance, Control, and Dynamics, vol.10, issue.6, pp.594-595, 1987.
DOI : 10.2514/3.56447

[. Dybvig, Lisp: The Scheme Programming Language, 1987.

]. C. Kirc-90, H. Kirchner, M. Kirchner, and . Rusinowitch, Deduction with Symbolic Constraints, Intelligence Artificielle, vol.4, issue.3, pp.9-52, 1990.

. E. Knut-70-]-d, &. P. Knuth, and . Bendix, Simple word Problems in Universal Algebra, Computational Algebra, J. Learch, pp.263-297, 1970.

J. Koplik and M. C. Leu, Computer Generation of Robot Dynamics Equations and the Related Issues, Journal of Robotic Systems, vol.33, pp.301-319, 1986.

. Koun-90-]-e, &. M. Kounalis, and . Rusinowitch, Mechanizing Inductive Reasoning, Proc. of the AAAI Conference, pp.240-245, 1990.

[. Lagrange, Mécanique Analytique" 1, 1965.

M. Langlois, Sur la Mécanique Analytique du Corps Solide, J. de La Méca, vol.17, issue.5, 1978.

. L. Laur-76-]-j and . Laurière, Alice: un Langage et un Programme pour Résoudre des Problème Combinatoires, Thèse d'Etat, 1976.

]. J. Lerb-91 and . Lerbet, Mécanismes et Géométrie Différentielle, pp.205-208, 1991.

. Lesc-90-]-p and . Lescanne, On the Recursive Decomposition Ordering with Lexicographical Status and Other Related Orderings, Jour, of Automated Resoning, vol.6, pp.39-49, 1990.

]. A. Lieg-74, &. M. Liégeois, and . Renaud, Modèle Mathématique des Systèmes Mécaniques Articulés en Vue de la Commande Automatique de leurs Mouvements, CRAS Série B, vol.278, pp.799-801, 1974.

. W. Liki-71-]-p, A. Likins, and . Ard, Passive and Semi Active Attitude Stabilizations: Flexible Spacecraft, 1971.

. W. Liki-74-]-p and . Likins, Dynamic Analysis of Hinge Connected Rigid Bodies with Non-Rigid Appendages, JPL Tech. Report, pp.32-1576, 1974.

. J. Luh?so, M. W. Luh, &. P. Walker, and . Paul, On-Line Computational Scheme for Mechanical Manipulators, ASME Journal of Dynamic Systems, Measurement, and Control, vol.112, pp.69-76, 1980.

J. Y. Luh, Automatic Generation of Dynamic Equations for Mechanical Manipulators, 1981.

[. Meiiet, Contribution à la Formalisation de la Commande par Retour d'Efforts en Robotique: Application à la Commande de Robots Parallèles, Thèse de Doctorat, 1986.

[. Meyer and . Baudoin, Méthodes de Programmation, Eyrolles, 1980.

¡. Newton, Philosopliiae Naturalis Principia Mathematica, 1687.
DOI : 10.5479/sil.52126.39088015628399
URL : http://www.e-rara.ch/download/pdf/4150990?name=%255BTomus%2520primus%2520et%2520secundus.%255D

. C. Paul-72-]-r and . Paul, Modelling Trajectory Calculation and Servoing of a Computer Controled Arm, 1972.

. Paya-87-]-s, &. A. Payandeh, and . Goldenberg, Formulation of the Kinematic Model of a General (6DOF) Manipulator Using Screw Operator, J. of Robotic Syst, vol.4, issue.6, pp.771-797, 1987.

]. J. Pitr-90 and . Pitrat, Métaconnaissance: Futur de l'Intelligence Artificielle, 1990.

. E. Orin-79-]-d, R. B. Orin, M. Me-ghee, &. G. Vukobratovic, and . Hartoch, Kinematique and Kinetic Analysis of Open-Chain Linkages Utilizing Newton-Euler Method, Mathematical Biosciences, pp.107-130, 1979.

H. Poincaré, La Science et l'Hypothèse, Flammarion, 1902.

¡. K. Pradeep, P. J. Yoder, and &. R. Mukundan, On the Use of Dual- Matrix Exponentials in Robotic Kinematics, The International Journal of Robotics Research, vol.8, issue.5, 1989.
DOI : 10.1177/027836498900800505

&. B. Raibert and . Horn, Manipulator control using the configuration space method, Industrial Robot: An International Journal, vol.5, issue.2, pp.69-73, 1978.
DOI : 10.1108/eb004494

R. H. Rand, ADAMS: A Sparse Matrix Approach to Solving Multibody Dynamics ProblemsComputer Algebra in Applied Mathmatics: An Introduction to MAC- SYMA, Proc. SDIO/NASA, 1984.

[. Renaud, Contribution à la Modélisation et à la Commande Dynamique des Robots Manipulateurs, Thèse d'Etat, 1980.

R. Martinez and &. J. Duffy, The principle of transference: History, statement and proof, Mechanism and Machine Theory, vol.28, issue.1, 1992.
DOI : 10.1016/0094-114X(93)90055-Z

R. Roberson and &. J. Wittenburg, A Dynamical Formalism for an Arbitrary Number of Interconnected Rigid Bodies with Reference to the Problem of Satellite Attitude Control, Proc. 3 rd IFAC Congr., Paper 46D, 1966.

[. E. Rosenthal, Comment on "Relationship Between Kane's Equation and the Gibbs-Appell Equations", Journal of Guidance, Control, and Dynamics, vol.10, issue.6, pp.595-596, 1987.
DOI : 10.2514/3.56448

. P. Sans-85-]-j and . Sansonnet, Les machines de l'intelligence artificielle, La Recherche, octobre, 1985.

[. Serre, Lie Algebras and Lie Groups, W.A. Benjamain, 1965.

A. A. Shabana, Dynamics of Multibody Systems, 1989.

. J. Stan-88-]-b and . Stanley, Constrained Motion of a Three-Dimensional Manipulator Over Unknown Constraints: The Robotic Groping Problem, 1988.

. L. Stee-84-]-g and . Steele-jr, Common LISP : The Language, 1984.

Y. Stepanenko and &. Vukobratovic, Dynamics of articulated open-chain active mechanisms, Mathematical Biosciences, vol.28, issue.1-2, pp.137-170, 1976.
DOI : 10.1016/0025-5564(76)90099-7

. Stur-73-]-r and . Sturges, Teleoperator Arm Design Program, MIT, CS. Drap. Lab. Cambridge, U.S.A, 1973.

. Sug-82a-]-k, &. J. Sugimoto, and . Duffy, Application of Linear Algebra to Screw Systems, Mech. and Mach, vol.17, issue.1, pp.73-83

]. K. Sug-s2b, J. Sugimoto, . K. Duffy-k, and . Hunt, Special Configurations of Spacial Mechanisms and Robot Arms, Mech. and Mach, vol.17, issue.2, pp.119-132, 1982.

[. Tournassoud, Géométrie et Intelligence Artificielle pour les Robots, 1988.

. Tsai-91-]-f, &. J. Tsai, and . Haug, Real-Time Multibody System Dynamic Simulation: Part I. A Modified Recursive Formulation and Topological Analysis, Mechanics of Structures and Machines, vol.19, issue.1, pp.99-127, 1991.
DOI : 10.1115/1.3428176

. J. Uick-65-]-j and . Uicker, On the Dinamic Analysis of Spatial Linkages, 1965.

. J. Uick-69-]-j and . Uicker, Dinamic Behavior of Spatial Linkages, Asme, J. of Ingineering for Industry, vol.91, pp.251-258

]. J. Ullm-65 and . Ullmo, La Pensée Scientifique Moderne, 1969.

. S. Vara-74-]-v and . Varadarajan, Lie Groups, Lie Algebras, and their Representations, 1974.

. F. Vere-74-]-a and . Vereschagin, Computer Simulation of the Dynamics of Complicated Mechanisms of Robot Manipulaters, Engineering Cibernetics, vol.12, issue.6, pp.65-70, 1974.

M. Vukobratovié and &. N. Kircanski, Real Time Dynamics of Manipulation Robots, 1985.
DOI : 10.1007/978-3-642-82198-1

. C. Wate-79-]-r, A. Waters, . Laboratory, A. Mit, and . Memo, Mechanical Arm Control, 1979.

E. T. Whitteker, A Treatise on The Analytical Dynamics of Particles and Rigid Bodies, 1904.
DOI : 10.1017/CBO9780511608797

]. J. Witt-75, L. Wittenburg, and . Lilov, Relative Equilibrium Positions and their Stability for a Multi-body Satellite in a Circular Orbit, Ingenieer Archiv, vol.44, pp.269-279, 1975.

]. J. Witt-77 and . Wittenburg, Dynamics of Systems of Rigide Bodies, B.G. Teubner, 1977.

]. J. Witt-85, &. U. Wittenburg, and . Woltz, MESA VERDE: a Symbolic Program for Non-linear Articulated Rigid-Body Dynamics, Proc. ACME Design Eng. Div. Conf. and Exibit on Mechanical Vibration and Noise, Cincinati, 1985.

. T. Yan-64a-]-a and . Yang, Application of Dual Number Quaternion Algebra to the Analysis of Spatial Mechanisms, ASME J. for Indus, vol.31, issue.2, pp.300-308, 1964.

. T. Yan-64b-]-a, F. Yang, and . Freudenstein, Application of Dual Number Quaternion Algebra to the Analysis of Spacial Mechanismes, J, Appl. Mech, vol.86, pp.300-308, 1964.

D. Cinématique, C. Cinématique-ouvertes, and G. Différentielle, Groupes et Algebres de Lie, Intelligence Artificielle, Programmation Orientée Objets