On the Representation of Rigid-Body Motions and its Application to Generalized Platform Manipulators
暂无分享,去创建一个
Different ways for representing rigid-body motions (direct isometries) in a computer are presented. It appears that the choice between them may have a dramatic effect on the difficulty of a computation or of a proof.
[1] Joos Heintz,et al. Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields , 1983, Theor. Comput. Sci..
[2] Richard D. Jenks,et al. AXIOM: the scientific computation system , 1992 .
[3] I. Shafarevich. Basic algebraic geometry , 1974 .