BibSonomy publications for /tag/elbow+SymbolicSun Mar 02 02:12:02 CET 2008New York, NY 10036, USA{ISSAC} '94: Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation: July 20--22, 1994, Oxford, England, United Kingdom354--358On the symbolic insimplification of the general $6{R}$-manipulator kinematic equations1994Kovacs Elbow Robotics; Symbolic General problems; degrees equations; computation; Inverse theory; algorithms; of Kinematics; conjecture; Ideal; verification Six freedom; Symbolically Robot 6R manipulator; solving; class; kinematic manipulator insimplification; When symbolically solving inverse kinematic problems for robot classes, we deal with computations on ideals representing these robot's geometry. Therefore, such ideals must be considered over a base field {\em K\/}, where the parameters of the class (and also the possible relations among them) are represented. In this framework we shall prove that the ideal corresponding to the general 6R manipulator is real and prime over {\em K\/}. The practical interest of our result is that it confirms that the usual inverse kinematic equations of this robot class do not add redundant solutions and that this ideal cannot be ``factorized'', establishing therefore, Kov{\'a}cs [7] conjecture. We prove also that this root class has six degrees of freedom (i.e. the corresponding ideal is six-dimensional), even over the extended field {\em K\/}, which is the algebraic counterpart to the fact that the 6R manipulator is completely general. Our proof uses, as intermediate step, some dimensionality analysis of the Elbow manipulator, which is a specialization of the {\em 6R\/}.elbow SymbolicCommunity for tag(s) elbow Symbolic