{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:02:05Z","timestamp":1786978925742,"version":"3.56.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032096449","type":"print"},{"value":"9783032096456","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-09645-6_18","type":"book-chapter","created":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:06:55Z","timestamp":1761941215000},"page":"336-359","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Inverse Kinematics for\u00a0a\u00a06-Degree-of-Freedom Robot Manipulator Using Comprehensive Gr\u00f6bner Systems"],"prefix":"10.1007","author":[{"given":"Takumu","family":"Okazaki","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0846-3643","authenticated-orcid":false,"given":"Akira","family":"Terui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2193-3198","authenticated-orcid":false,"given":"Masahiko","family":"Mikawa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,1]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1115\/1.4011045","volume":"22","author":"J Denavit","year":"1955","unstructured":"Denavit, J., Hartenberg, R.: A kinematic notation for lower-pair mechanisms based on matrices. J. Appl. Mech. 22, 215\u2013221 (1955). https:\/\/doi.org\/10.1115\/1.4011045","journal-title":"J. Appl. Mech."},{"key":"18_CR2","unstructured":"Elephant Robotics Co., Ltd.: myCobot 280 M5 (2023). https:\/\/www.elephantrobotics.com\/en\/mycobot-280-m5-2023-en. Accessed 09 May 2025"},{"key":"18_CR3","unstructured":"Faug\u00e8re, J.C., Merlet, J.P., Rouillier, F.: On solving the direct kinematics problem for parallel robots. Research Report RR-5923, INRIA (2006). https:\/\/hal.inria.fr\/inria-00072366"},{"key":"18_CR4","doi-asserted-by":"publisher","unstructured":"Fukasaku, R., Iwane, H., Sato, Y.: Real quantifier elimination by computation of comprehensive Gr\u00f6bner systems. In: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, pp. 173\u2013180. ACM, New York (2015). https:\/\/doi.org\/10.1145\/2755996.2756646","DOI":"10.1145\/2755996.2756646"},{"key":"18_CR5","doi-asserted-by":"publisher","unstructured":"Husty, M.L., Pfurner, M., Schr\u00f6cker, H.P.: A new and efficient algorithm for the inverse kinematics of a general serial 6R manipulator. Mech. Mach. Theory 42(1), 66\u201381 (2007). https:\/\/doi.org\/10.1016\/j.mechmachtheory.2006.02.001","DOI":"10.1016\/j.mechmachtheory.2006.02.001"},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/0094-114X(93)90033-R","volume":"28","author":"CM Kalker-Kalkman","year":"1993","unstructured":"Kalker-Kalkman, C.M.: An implementation of Buchbergers\u2019 algorithm with applications to robotics. Mech. Mach. Theory 28(4), 523\u2013537 (1993). https:\/\/doi.org\/10.1016\/0094-114X(93)90033-R","journal-title":"Mech. Mach. Theory"},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Kapur, D., Sun, Y., Wang, D.: An efficient method for computing comprehensive Gr\u00f6bner bases. J. Symb. Comput. 52, 124\u2013142 (2013). https:\/\/doi.org\/10.1016\/j.jsc.2012.05.015","DOI":"10.1016\/j.jsc.2012.05.015"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s11235-015-0034-5","volume":"60","author":"HR Kam","year":"2015","unstructured":"Kam, H.R., Lee, S.H., Park, T., Kim, C.H.: RViz: a toolkit for real domain data visualization. Telecommun. Syst. 60, 337\u2013345 (2015). https:\/\/doi.org\/10.1007\/s11235-015-0034-5","journal-title":"Telecommun. Syst."},{"key":"18_CR9","doi-asserted-by":"publisher","unstructured":"Macenski, S., Foote, T., Gerkey, B., Lalancette, C., Woodall, W.: Robot operating system 2: design, architecture, and uses in the wild. Sci. Robot. 7(66), eabm6074 (2022). https:\/\/doi.org\/10.1126\/scirobotics.abm6074","DOI":"10.1126\/scirobotics.abm6074"},{"issue":"5","key":"18_CR10","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1109\/70.326569","volume":"10","author":"D Manocha","year":"1994","unstructured":"Manocha, D., Canny, J.F.: Efficient inverse kinematics for general 6R manipulators. IEEE Trans. Robot. Autom. 10(5), 648\u2013657 (1994). https:\/\/doi.org\/10.1109\/70.326569","journal-title":"IEEE Trans. Robot. Autom."},{"key":"18_CR11","unstructured":"Nabeshima, K.: CGS: a program for computing comprehensive Gr\u00f6bner systems in a polynomial ring [computer software] (2018). https:\/\/www.rs.tus.ac.jp\/~nabeshima\/softwares.html. Accessed 05 Feb 2025"},{"issue":"1","key":"18_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/S00200-023-00620-8","volume":"35","author":"K Nabeshima","year":"2024","unstructured":"Nabeshima, K.: Generic Gr\u00f6bner basis of a parametric ideal and its application to a comprehensive Gr\u00f6bner system. Appl. Algebra Eng. Commun. Comput. 35(1), 55\u201370 (2024). https:\/\/doi.org\/10.1007\/S00200-023-00620-8","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.4236\/alamt.2018.81004","volume":"8","author":"Z Ni","year":"2018","unstructured":"Ni, Z., Wu, R.: 6R robot inverse solution algorithm based on quaternion matrix and Gr\u00f6bner base. Adv. Linear Algebra Matrix Theory 8(1), 33\u201340 (2018). https:\/\/doi.org\/10.4236\/alamt.2018.81004","journal-title":"Adv. Linear Algebra Matrix Theory"},{"key":"18_CR14","doi-asserted-by":"publisher","unstructured":"Noro, M., Takeshima, T.: Risa\/Asir \u2014 a computer algebra system. In: Proceedings of ISSAC 1992, pp. 387\u2013396. Association for Computing Machinery, New York (1992). https:\/\/doi.org\/10.1145\/143242.143362","DOI":"10.1145\/143242.143362"},{"key":"18_CR15","unstructured":"Okazaki, T., Terui, A., Mikawa, M.: An effective trajectory planning and an optimized path planning for a 6-degree-of-freedom robot manipulator. In: Computer Algebra in Scientific Computing, CASC 2025. Lecture Notes in Computer Science. Springer (2025, to appear). https:\/\/doi.org\/10.48550\/arXiv.2509.00828"},{"key":"18_CR16","doi-asserted-by":"publisher","unstructured":"Otaki, S., Terui, A., Mikawa, M.: A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gr\u00f6bner Systems. Preprint (2021). https:\/\/doi.org\/10.48550\/arXiv.2111.00384","DOI":"10.48550\/arXiv.2111.00384"},{"key":"18_CR17","unstructured":"Pieper, D.L.: The kinematics of manipulators under computer control. Ph.D. thesis, Stanford University (1968). https:\/\/apps.dtic.mil\/sti\/citations\/AD0680036"},{"key":"18_CR18","unstructured":"Shirato, Y., Oka, N., Terui, A., Mikawa, M.: An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive gr\u00f6bner systems. In: Proceedings of the SCSS 2024 Work in Progress Workshop, pp. 105\u2013112. Sun SITE Central Europe, RWTH Aachen University (2024). https:\/\/ceur-ws.org\/Vol-3754\/"},{"key":"18_CR19","doi-asserted-by":"publisher","unstructured":"Siciliano, B., Sciavicco, L., Villani, L., Oriolo, G.: Robotics: Modelling, Planning and Control. Springer (2008). https:\/\/doi.org\/10.1007\/978-1-84628-642-1","DOI":"10.1007\/978-1-84628-642-1"},{"key":"18_CR20","doi-asserted-by":"publisher","unstructured":"Ricardo Xavier\u00a0da Silva, S., Schnitman, L., Cesca\u00a0Filho, V.: A solution of the inverse kinematics problem for a 7-degrees-of-freedom serial redundant manipulator using Gr\u00f6bner bases theory. Math. Probl. Eng. 2021, 6680687 (2021). https:\/\/doi.org\/10.1155\/2021\/6680687","DOI":"10.1155\/2021\/6680687"},{"key":"18_CR21","doi-asserted-by":"publisher","unstructured":"Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In: Proceedings of ISSAC 2006, pp. 326\u2013331 (2006). https:\/\/doi.org\/10.1145\/1145768.1145821","DOI":"10.1145\/1145768.1145821"},{"key":"18_CR22","unstructured":"The PARI\u00a0Group, Univ. Bordeaux: PARI\/GP version 2.13.1 (2021). https:\/\/pari.math.u-bordeaux.fr\/"},{"key":"18_CR23","doi-asserted-by":"publisher","unstructured":"Uchida, T., McPhee, J.: Triangularizing kinematic constraint equations using Gr\u00f6bner bases for real-time dynamic simulation. Multibody Syst. Dyn. 25, 335\u2013356 (2011). https:\/\/doi.org\/10.1007\/s11044-010-9241-8","DOI":"10.1007\/s11044-010-9241-8"},{"key":"18_CR24","doi-asserted-by":"publisher","unstructured":"Uchida, T., McPhee, J.: Using Gr\u00f6bner bases to generate efficient kinematic solutions for the dynamic simulation of multi-loop mechanisms. Mech. Mach. Theory 52, 144\u2013157 (2012). https:\/\/doi.org\/10.1016\/j.mechmachtheory.2012.01.015","DOI":"10.1016\/j.mechmachtheory.2012.01.015"},{"key":"18_CR25","doi-asserted-by":"publisher","unstructured":"Wada, N., Nabeshima, K.: Merging multiple algorithms for computing comprehensive Gr\u00f6bner systems using parallel processing. In: Computer Algebra in Scientific Computing, CASC 2024. Lecture Notes in Computer Science, vol. 14938, pp. 373\u2013391. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-69070-9_21","DOI":"10.1007\/978-3-031-69070-9_21"},{"key":"18_CR26","doi-asserted-by":"publisher","unstructured":"Yoshizawa, M., Terui, A., Mikawa, M.: Inverse kinematics and path planning of manipulator using real quantifier elimination based on comprehensive Gr\u00f6bner systems. In: Computer Algebra in Scientific Computing. CASC 2023. Lecture Notes in Computer Science, vol. 14139, pp. 393\u2013419. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-41724-5_21","DOI":"10.1007\/978-3-031-41724-5_21"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09645-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T20:06:57Z","timestamp":1761941217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09645-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,1]]},"ISBN":["9783032096449","9783032096456"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09645-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,1]]},"assertion":[{"value":"1 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CASC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Computer Algebra in Scientific Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dubai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Arab Emirates","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"casc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/casc-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}