{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T08:07:46Z","timestamp":1773216466333,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540209270","type":"print"},{"value":"9783540246169","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24616-9_3","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T20:46:04Z","timestamp":1294346764000},"page":"31-43","source":"Crossref","is-referenced-by-count":12,"title":["Using Computer Algebra Tools to Classify Serial Manipulators"],"prefix":"10.1007","author":[{"given":"Solen","family":"Corvez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Rouillier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Akritas, G., Bocharov, A., Strzebonski, A.: Implementation of real roots isolation algorithms in mathematica. In: Abstracts of the International Conference on Interval and Computer Algebraic Methods in Science and Ingineering, pp. 23\u201327 (1994)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P. Aubry","year":"1999","unstructured":"Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. Journal of Symbilic Computation\u00a028, 105\u2013124 (1999)","journal-title":"Journal of Symbilic Computation"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","first-page":"515","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 515\u2013532. Springer, Heidelberg (1975)"},{"key":"3_CR4","series-title":"Undergraduate texts in mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra","author":"D. Cox","year":"1992","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra. Undergraduate texts in mathematics. Springer, New York (1992)"},{"issue":"1-3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J.-C. Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.-C.: A new efficient algorithm for computing gr\u00f6bner bases (f4). Journal of Pure and Applied Algebra\u00a0139(1-3), 61\u201388 (1999)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1006\/aama.1996.0013","volume":"17","author":"J.R. Johnson","year":"1996","unstructured":"Johnson, J.R., Krandick, W.: Polynomial real roots isolation using approximate arithmetic. Advances in Applied Mathematics\u00a017(3), 308\u2013336 (1996)","journal-title":"Advances in Applied Mathematics"},{"key":"3_CR7","unstructured":"Manocha, D.: Algebraic and Numeric Techniques for modeling and Robotics. PhD thesis, University of California at Berkeley (1992)"},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1006\/jcom.2001.0636","volume":"18","author":"B. Mourrain","year":"2002","unstructured":"Mourrain, B., Vrahatis, M., Yakoubsohn, J.C.: On the complexity of isolating real roots and computing with certainty the topological degree. Journal of Complexity\u00a018(2), 612\u2013640 (2002)","journal-title":"Journal of Complexity"},{"key":"3_CR9","unstructured":"El Omri, J.: Analyse gomtrique et cinmatique des mcanismes de type manipulateur. PhD thesis, Universit de Nantes (February 1996)"},{"key":"3_CR10","unstructured":"Rouillier, F.: Algorithmes efficaces pour l\u2019\u00e9tude des z\u00e9ros r\u00e9els des syst\u00e8mes polynomiaux. PhD thesis, Universit\u00e9 de Rennes I (May 1996)"},{"issue":"5","key":"3_CR11","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s002000050114","volume":"9","author":"F. Rouillier","year":"1999","unstructured":"Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. Journal of Applicable Algebra in Engineering, Communication and Computing\u00a09(5), 433\u2013461 (1999)","journal-title":"Journal of Applicable Algebra in Engineering, Communication and Computing"},{"key":"3_CR12","unstructured":"Rouillier, F., Zimmermann, P.: Efficient isolation of a polynomial real roots. Technical Report RR-4113, INRIA (2001)"},{"key":"3_CR13","unstructured":"Trebuchet, P.: Vers une rsolution stable et rapide des quations algbriques. PhD thesis, Universit de Paris VI (2002)"},{"key":"3_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination Methods","author":"D. Wang","year":"2001","unstructured":"Wang, D.: Elimination Methods. Springer, New York (2001)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1115\/1.2826976","volume":"120","author":"P. Wenger","year":"1998","unstructured":"Wenger, P.: Classification of 3r positioning manipulators. Journal of Mechanical Design\u00a0120, 327\u2013332 (1998)","journal-title":"Journal of Mechanical Design"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Wenger, P., El Omri, J.: Changing posture for cuspidal robot manipulators. In: Proceeding of the 1996 IEEE Int. Conf. on Robotics and Automation, pp. 3173\u20133178 (1996)","DOI":"10.1109\/ROBOT.1996.509195"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24616-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T04:24:09Z","timestamp":1553315049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24616-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209270","9783540246169"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24616-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}