{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T23:41:43Z","timestamp":1768779703873,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["I 4452-N"],"award-info":[{"award-number":["I 4452-N"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE48-0015, ANR-18-CE33-0011, ANR-19-CE40-0018"],"award-info":[{"award-number":["ANR-19-CE48-0015, ANR-18-CE33-0011, ANR-19-CE40-0018"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100018694","name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["N. 813211"],"award-info":[{"award-number":["N. 813211"]}],"id":[{"id":"10.13039\/100018694","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100015464","name":"European Office of Aerospace Research and Development","doi-asserted-by":"publisher","award":["FA8665-20-1-7029"],"award-info":[{"award-number":["FA8665-20-1-7029"]}],"id":[{"id":"10.13039\/100015464","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535477","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"439-448","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry"],"prefix":"10.1145","author":[{"given":"Damien","family":"Chablat","sequence":"first","affiliation":[{"name":"LS2N, CNRS, Nantes, France"}]},{"given":"R\u00e9mi","family":"Pr\u00e9bet","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"Sorbonne Universit\u00e9, CNRS, LIP6, Paris, France"}]},{"given":"Durgesh H.","family":"Salunkhe","sequence":"additional","affiliation":[{"name":"LS2N, CNRS, Nantes, France"}]},{"given":"Philippe","family":"Wenger","sequence":"additional","affiliation":[{"name":"LS2N, CNRS, Nantes, France"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-99-00311-2"},{"key":"e_1_3_2_1_2_1","volume-title":"Algorithms in Real Algebraic Geometry. 10","author":"Basu S.","year":"2016","unstructured":"S. Basu , R. Pollack , and M.-F. Roy . Algorithms in Real Algebraic Geometry. 10 . Springer , Berlin, Heidelberg , 3 edition, 2016 . S. Basu, R. Pollack, and M.-F. Roy. Algorithms in Real Algebraic Geometry. 10. Springer, Berlin, Heidelberg, 3 edition, 2016."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-014-9610-9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-014-9212-1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/49142"},{"key":"e_1_3_2_1_7_1","volume-title":"Constructing roadmaps of semi-algebraic sets i: Completeness. Artificial Intelligence, 37(1--3):203--222","author":"Canny J. F.","year":"1988","unstructured":"J. F. Canny . Constructing roadmaps of semi-algebraic sets i: Completeness. Artificial Intelligence, 37(1--3):203--222 , 1988 . J. F. Canny. Constructing roadmaps of semi-algebraic sets i: Completeness. Artificial Intelligence, 37(1--3):203--222, 1988."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646027.676735"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.504"},{"key":"e_1_3_2_1_10_1","article-title":"Safey El Din. Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics","author":"Capco J.","year":"2021","unstructured":"J. Capco , J. Schicho , and M . Safey El Din. Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics . Journal of Symbolic Computation , June 2021 . J. Capco, J. Schicho, and M. Safey El Din. Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. Journal of Symbolic Computation, June 2021.","journal-title":"Journal of Symbolic Computation"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2013.06.004"},{"key":"e_1_3_2_1_12_1","volume-title":"Introduction to algorithms","author":"Cormen T. H.","year":"2009","unstructured":"T. H. Cormen , C. E. Leiserson , R. L. Rivest , and C. Stein . Introduction to algorithms . MIT press , third edition, 2009 . T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to algorithms. MIT press, third edition, 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02100609"},{"key":"e_1_3_2_1_15_1","first-page":"83","volume-title":"De Gruyter Proceedings in Mathematics","author":"Coste M.","year":"1995","unstructured":"M. Coste and M. Shiota . Thom's first isotopy lemma: a semialgebraic version, with uniform bound. In Real Algebraic and Analytic Geometry , De Gruyter Proceedings in Mathematics , pages 83 -- 101 , Berlin -- New York , 1995 . M. Coste and M. Shiota. Thom's first isotopy lemma: a semialgebraic version, with uniform bound. In Real Algebraic and Analytic Geometry, De Gruyter Proceedings in Mathematics, pages 83--101, Berlin -- New York, 1995."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.09.010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.10.008"},{"key":"e_1_3_2_1_18_1","first-page":"215","volume-title":"Proc. 7th Int. Conf. on Advanced Robotics","author":"El Omri J.","year":"1995","unstructured":"J. El Omri and P. Wenger . How to recognize simply a non-singular posture changing 3-dof manipulator . In Proc. 7th Int. Conf. on Advanced Robotics , pages 215 -- 222 , 1995 . J. El Omri and P. Wenger. How to recognize simply a non-singular posture changing 3-dof manipulator. In Proc. 7th Int. Conf. on Advanced Robotics, pages 215--222, 1995."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095244"},{"key":"e_1_3_2_1_20_1","volume-title":"Solving systems of polynomial inequalities in subexponential time. Journal of symbolic computation, 5(1--2):37--64","author":"Grigoriev D. Y.","year":"1988","unstructured":"D. Y. Grigoriev and N. Vorobjov . Solving systems of polynomial inequalities in subexponential time. Journal of symbolic computation, 5(1--2):37--64 , 1988 . D. Y. Grigoriev and N. Vorobjov. Solving systems of polynomial inequalities in subexponential time. Journal of symbolic computation, 5(1--2):37--64, 1988."},{"key":"e_1_3_2_1_21_1","volume-title":"Kinematic synthesis of linkages","author":"Hartenberg D. J.","year":"1964","unstructured":"D. J. Hartenberg Richard S. Kinematic synthesis of linkages . McGraw-Hill series in mechanical engineering. McGraw-Hill , New York San Francisco Toronto [etc, 1964 . D. J. Hartenberg Richard S. Kinematic synthesis of linkages. McGraw-Hill series in mechanical engineering. McGraw-Hill, New York San Francisco Toronto [etc, 1964."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002080050316"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115478.3115809"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-020-9164-2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.007"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2021.12.002"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechmachtheory.2010.06.016"},{"key":"e_1_3_2_1_28_1","first-page":"151","volume-title":"Proceedings of 1988 conference on Advances in Robot Kinematics","author":"Parenti-Castelli V.","year":"1988","unstructured":"V. Parenti-Castelli and C. Innocenti . Position analysis of robot manipulators: Regions and subregions . In Proceedings of 1988 conference on Advances in Robot Kinematics , pages 151 -- 158 , Ljubljana, sep 1988 . V. Parenti-Castelli and C. Innocenti. Position analysis of robot manipulators: Regions and subregions. In Proceedings of 1988 conference on Advances in Robot Kinematics, pages 151--158, Ljubljana, sep 1988."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/860854.860901","volume-title":"Proceedings of the 2003 international symposium on Symbolic and algebraic computation","author":"Din M. Safey El","year":"2003","unstructured":"M. Safey El Din and E. Schost . Polar varieties and computation of one point in each connected component of a smooth real algebraic set . In Proceedings of the 2003 international symposium on Symbolic and algebraic computation , pages 224 -- 231 , 2003 . M. Safey El Din and E. Schost. Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In Proceedings of the 2003 international symposium on Symbolic and algebraic computation, pages 224--231, 2003."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-009-9239-2"},{"key":"e_1_3_2_1_31_1","volume-title":"A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Journal of the ACM (JACM), 63(6):1--37","author":"Din M. Safey El","year":"2017","unstructured":"M. Safey El Din and \u00c9. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Journal of the ACM (JACM), 63(6):1--37 , 2017 . M. Safey El Din and \u00c9. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. Journal of the ACM (JACM), 63(6):1--37, 2017."},{"key":"e_1_3_2_1_32_1","volume-title":"Jan","author":"Salunkhe D.","year":"2022","unstructured":"D. Salunkhe , C. Spartalis , J. Capco , D. Chanlat , and P. Wenger . [accepted]Necessary and sufficient condition for a generic 3r serial manipulator to be cuspidal. Mechanism and Machine Theory, 20(4) , Jan 2022 . D. Salunkhe, C. Spartalis, J. Capco, D. Chanlat, and P. Wenger. [accepted]Necessary and sufficient condition for a generic 3r serial manipulator to be cuspidal. Mechanism and Machine Theory, 20(4), Jan 2022."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064092.1064111"},{"key":"e_1_3_2_1_34_1","volume-title":"Springer","author":"Shafarevich I. R.","year":"2013","unstructured":"I. R. Shafarevich . Basic algebraic geometry, volume 1 . Springer , 2013 . I. R. Shafarevich. Basic algebraic geometry, volume 1. Springer, 2013."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1992.220300"},{"key":"e_1_3_2_1_36_1","first-page":"2172","volume-title":"Proceedings of IEEE Int. Conf. Rob. and Aut.","author":"Wenger P.","year":"1997","unstructured":"P. Wenger . Design of cuspidal and noncuspidal manipulators . In Proceedings of IEEE Int. Conf. Rob. and Aut. , pages 2172 -- 2177 , 1997 . P. Wenger. Design of cuspidal and noncuspidal manipulators. In Proceedings of IEEE Int. Conf. Rob. and Aut., pages 2172--2177, 1997."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.829467"},{"key":"e_1_3_2_1_38_1","volume-title":"Cuspidal and noncuspidal robot manipulators. Robotica, 25(6), nov","author":"Wenger P.","year":"2007","unstructured":"P. Wenger . Cuspidal and noncuspidal robot manipulators. Robotica, 25(6), nov 2007 . P. Wenger. Cuspidal and noncuspidal robot manipulators. Robotica, 25(6), nov 2007."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1996.509195"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535477","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535477","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":38,"alternative-id":["10.1145\/3476446.3535477","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535477","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}