Using computer algebra tools to classify serial manipulators

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2930, Issue , 2004, Pages 31-43

  Corvez, Solen ^a   Rouillier, Fabrice ^b  

^a UNIVERSITÉ DE RENNES 1   (France)

^b LORIA   (France)

Author keywords

Cylindrical algebraic decomposition; Groebner basis; Semialgebraic sets; Serial manipulators; Triangular sets

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; CALCULATIONS; COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SCIENCE; INDUSTRIAL MANIPULATORS; REDUNDANT MANIPULATORS; THEOREM PROVING;

CARTESIAN COORDINATES; CYLINDERICAL ALGEBRAIC DECOMPOSITION; GROEBNER BASIS; SEMIALGEBRAIC SETS; SERIAL MANIPULATORS; TRIANGULAR SETS; CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; SEMI-ALGEBRAIC SETS;

MANIPULATORS;

EID: 7444253514     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24616-9_3     Document Type: Conference Paper

References (16)

1. A. G Akritas, A. Bocharov, and A. Strzebonski. Implementation ofreal roots isolation algorithms in mathematica. In Abstracts of the International Conference on Interval and Computer Algebraic Methods in Science and Ingineering, pages pp. 23-27, 1994. 39, 41
2. P. Aubry, D. Lazard, and M. Moreno Maza. On the theories oftri angular sets. Journal of Symbilic Computation, 28:105-124, 1999. 33, 35
3. G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Springer Lecture Notes in Computer Science 33, 33:515-532, 1975. 38
4. D. Cox, J. Little, and D. O'Shea. Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra. Undergraduate texts in mathematics. Springer-Verlag New York-Berlin-Paris, 1992. 33
5. J.-C. Faugere. A new efficient algorithm for computing gröbner bases (f4). Journal of Pure and Applied Algebra, 139(1-3):61-88, June 1999. 35
6. J.R. Johnson andW. Krandick. Polynomial real roots isolation using approximate arithmetic. Advances in Applied Mathematics, 17(3):308-336, 1996. 39, 41
7. D. Manocha. Algebraic and Numeric Techniques for modeling and Robotics. PhD thesis, University ofCalif ornia at Berkeley, 1992. 33
8. B. Mourrain, M. Vrahatis, and J.C. Yakoubsohn. On the complexity ofisolating real roots and computing with certainty the topological degree. Journal of Complexity, 18(2):612-640, 2002. 39, 41
9. J. El Omri. Analyse gomtrique et cinmatique des mcanismes de type manipulateur. PhD thesis, Universit de Nantes, Feb. 1996. 32
10. F. Rouillier. Algorithmes efficaces pour l'étude des zéros réels des systemes polynomiaux. PhD thesis, Université de Rennes I, may 1996. 40
11. F. Rouillier. Solving zero-dimensional systems through the rational univariate representation. Journal of Applicable Algebra in Engineering, Communication and Computing, 9(5):433-461, 1999. 40
12. F. Rouillier and P. Zimmermann. Efficient isolation ofa polynomial real roots. Technical Report RR-4113, INRIA, 2001. 39, 40
13. P. Trebuchet. Vers une rsolution stable et rapide des quations algbriques. PhD thesis, Universit de Paris VI, 2002. 40
14. D. Wang. Elimination Methods. Springer-Verlag,Wien New York, 2001. 33
15. P. Wenger. Classification of3r positioning manipulators. Journal of Mechanical Design, 120:327-332, June 1998. 32, 42
16. Ph. Wenger and J. El Omri. Changing posture for cuspidal robot manipulators. In Proceeding of the 1996 IEEE Int. Conf on Robotics and Automation, pages 3173-3178, 1996. 31, 32