{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:58:56Z","timestamp":1762783136367,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-23-CE48-0003-01, ANR-19-CE40-0018, ANR-22-CE91-0007, ANR-19-CE48-0015"],"award-info":[{"award-number":["ANR-23-CE48-0003-01, ANR-19-CE40-0018, ANR-22-CE91-0007, ANR-19-CE48-0015"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669713","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"400-409","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Optimized Gr\u00f6bner basis algorithms for maximal determinantal ideals and critical point computations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0473-7291","authenticated-orcid":false,"given":"Sriram","family":"Gopalakrishnan","sequence":"first","affiliation":[{"name":"LIP6, Sorbonne Universit\u00e9, France and David R. Cheriton School of Computer Science, University of Waterloo, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8311-9490","authenticated-orcid":false,"given":"Vincent","family":"Neiger","sequence":"additional","affiliation":[{"name":"LIP6, Sorbonne Universit\u00e9, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9463-1257","authenticated-orcid":false,"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[{"name":"LIP6, Sorbonne Universit\u00e9, France"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.09.025"},{"volume-title":"Proceedings of ISSAC\u20192022","author":"Berthomieu J.","key":"e_1_3_2_1_2_1","unstructured":"J. Berthomieu, V. Neiger, and M. Safey El Din. 2022. Faster change of order algorithm for Gr\u00f6bner bases under shape and stability assumptions. In Proceedings of ISSAC\u20192022."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"W. Bruns and U. Vetter. 1988. Determinantal Rings. Springer.","DOI":"10.1007\/BFb0080378"},{"volume-title":"Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph.\u00a0D. Dissertation","author":"Buchberger B.","key":"e_1_3_2_1_4_1","unstructured":"B. Buchberger. 1965. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Ph.\u00a0D. Dissertation. University of Innsbruck."},{"key":"e_1_3_2_1_5_1","first-page":"69","volume-title":"Proceedings of ISSAC\u201920","author":"Capco J.","unstructured":"J. Capco, M. Safey El Din, and J. Schicho. 2020. Robots, computer algebra and eight connected components. In Proceedings of ISSAC\u201920. pp. 62\u201369."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2022.08.008"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of ISSAC","author":"Chablat D.","year":"2022","unstructured":"D. Chablat, R. Pr\u00e9bet, M. Safey El Din, D. Salunkhe, and P. Wenger. 2022. Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. In Proceedings of ISSAC 2022."},{"volume-title":"Using Algebraic Geometry","author":"Cox A.","key":"e_1_3_2_1_8_1","unstructured":"D.\u00a0A. Cox, J. Little, and D. O\u2019Shea. 2005. Using Algebraic Geometry. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"D.\u00a0A. Cox J. Little and D. O\u2019Shea. 2015. Ideals Varieties and Algorithms. Springer.","DOI":"10.1007\/978-3-319-16721-3"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the Royal Society of London 269","author":"Eagon A.","year":"1962","unstructured":"J.\u00a0A. Eagon and D.\u00a0G. Northcott. 1962. Ideals Defined by Matrices and a Certain Complex Associated with Them. Proc. of the Royal Society of London 269, 1337 (1962), 188\u2013204."},{"key":"e_1_3_2_1_11_1","unstructured":"C. Eder and J.-C. Faug\u00e8re. 2016. A survey on signature-based algorithms for computing Gr\u00f6bner basis computations. J. Symb. Comput. (2016) 1\u201375."},{"volume-title":"Commutative Algebra: with a View Toward Algebraic Geometry","author":"Eisenbud D.","key":"e_1_3_2_1_12_1","unstructured":"D. Eisenbud. 1995. Commutative Algebra: with a View Toward Algebraic Geometry. Springer."},{"volume-title":"The geometry of syzygies: A second course in commutative algebra and algebraic geometry. Vol.\u00a0229","author":"Eisenbud D.","key":"e_1_3_2_1_13_1","unstructured":"D. Eisenbud. 2005. The geometry of syzygies: A second course in commutative algebra and algebraic geometry. Vol.\u00a0229. Springer."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.025"},{"volume-title":"Proceedings of ISSAC\u201912","author":"Faug\u00e8re J.-C.","key":"e_1_3_2_1_17_1","unstructured":"J.-C. Faug\u00e8re, M. Safey El Din, and P.-J. Spaenlehauer. 2012. Critical points and Gr\u00f6bner bases: the unmixed case. In Proceedings of ISSAC\u201912. 162\u2013169."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2013.03.004"},{"key":"e_1_3_2_1_19_1","volume-title":"An inequality for Hilbert series of graded algebras.Mathematica Sandinavica 56 (Dec","author":"Fr\u00f6berg R.","year":"1985","unstructured":"R. Fr\u00f6berg. 1985. An inequality for Hilbert series of graded algebras.Mathematica Sandinavica 56 (Dec. 1985), 117\u2013144."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of ISSAC\u2019","author":"Gopalakrishnan S.","year":"2023","unstructured":"S. Gopalakrishnan, V. Neiger, and M. Safey El Din. 2023. Refined F5 Algorithms for Ideals of Minors of Square Matrices. In Proceedings of ISSAC\u2019 2023. 270\u2013279."},{"volume-title":"Proceedings of ISSAC\u201911","author":"Greuet A.","key":"e_1_3_2_1_21_1","unstructured":"A. Greuet and M. Safey El Din. 2011. Deciding reachability of the infimum of a multivariate polynomial. In Proceedings of ISSAC\u201911. 131\u2013138."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1137\/130931308"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2020.09.008"},{"key":"e_1_3_2_1_24_1","volume-title":"Safey El Din, and J. Martini","author":"Kaihnsa N.","year":"2020","unstructured":"N. Kaihnsa, Y. Ren, M. Safey El Din, and J. Martini. 2020. Cooperativity, absolute interaction, and algebraic optimization. Journal of Mathematical Biology (2020)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2021.101557"},{"key":"e_1_3_2_1_26_1","unstructured":"S. Lang. 2002. Algebra. Springer New York NY."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-12868-9_99"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings ISSAC","author":"Le P.","year":"2021","unstructured":"H.\u00a0P. Le and M. Safey El Din. 2021. Faster one block quantifier elimination for regular polynomial systems of equations. In Proceedings ISSAC 2021. 265\u2013272."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2021.12.002"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-62029-4_6"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1080\/00927872.2016.1236931"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_33_1","article-title":"A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets","volume":"63","author":"Safey El Din M.","year":"2017","unstructured":"M. Safey El Din and \u00c9. Schost. 2017. A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets. J. ACM 63, 6 (2017).","journal-title":"J. ACM"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1137\/130936294"},{"volume-title":"Algorithms for Matrix Canonical Forms. Ph.\u00a0D. Dissertation","author":"Storjohann A.","key":"e_1_3_2_1_35_1","unstructured":"A. Storjohann. 2000. Algorithms for Matrix Canonical Forms. Ph.\u00a0D. Dissertation. Swiss Federal Institute of Technology \u2013 ETH."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3163444"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5802\/msia.37"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669713","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:52:29Z","timestamp":1758588749000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":37,"alternative-id":["10.1145\/3666000.3669713","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669713","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}