{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T06:21:52Z","timestamp":1768890112075,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":33,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"HORIZON EUROPE European Research Council","doi-asserted-by":"publisher","award":["101040794"],"award-info":[{"award-number":["101040794"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE40-0018"],"award-info":[{"award-number":["ANR-19-CE40-0018"]}],"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.3669673","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"36-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Validated Numerics for Algebraic Path Tracking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-1795-3729","authenticated-orcid":false,"given":"Alexandre","family":"Guillemot","sequence":"first","affiliation":[{"name":"MATHEXP, Inria, Universit\u00e9 Paris-Saclay, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3756-0151","authenticated-orcid":false,"given":"Pierre","family":"Lairez","sequence":"additional","affiliation":[{"name":"MATHEXP, Inria, Universit\u00e9 Paris-Saclay, 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\/S0377-0427(00)00342-3"},{"key":"e_1_3_2_1_2_1","volume-title":"Vol.\u00a025","author":"Bates J.","unstructured":"D.\u00a0J. Bates, J.\u00a0D. Hauenstein, A.\u00a0J. Sommese, and C.\u00a0W. Wampler. 2013. Numerically Solving Polynomial Systems with Bertini. Software, Environments, and Tools, Vol.\u00a025. SIAM, Philadelphia, PA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2011.606184"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9143-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009958918582"},{"key":"e_1_3_2_1_6_1","volume-title":"HomotopyContinuation.Jl: A Package for Homotopy Continuation in Julia. In Int. Congr. Math. Softw.458\u2013465","author":"Breiding S.","year":"2018","unstructured":"P.\u00a0Breiding and S.\u00a0Timme. 2018. HomotopyContinuation.Jl: A Package for Homotopy Continuation in Julia. In Int. Congr. Math. Softw.458\u2013465. https:\/\/doi.org\/10\/ggck7q"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04179-6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.53733\/92"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"T.\u00a0Duff and K.\u00a0Lee. 2024. Certified Homotopy Tracking Using the Krawczyk Method. arxiv:2402.07053","DOI":"10.1145\/3666000.3669699"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608651"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.07.001"},{"key":"e_1_3_2_1_12_1","unstructured":"J.\u00a0D. Hauenstein J.\u00a0I. Rodriguez and F.\u00a0Sottile. 2017. Numerical Computation of Galois Groups. Found. Comput. Math. (2017) 1\u201324. https:\/\/doi.org\/gd2rw6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2690633"},{"key":"e_1_3_2_1_14_1","unstructured":"M.\u00a0Joldes. 2011. Rigorous Polynomial Approximations and Applications. Ph.\u00a0D. Dissertation. \u00c9cole normale sup\u00e9rieure de lyon. https:\/\/theses.hal.science\/tel-00657843"},{"key":"e_1_3_2_1_15_1","unstructured":"S.\u00a0Kranich. 2015. An Epsilon-Delta Bound for Plane Algebraic Curves and Its Use for Certified Homotopy Continuation of Systems of Plane Algebraic Curves. arxiv:1505.03432"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02234767"},{"key":"e_1_3_2_1_17_1","volume-title":"Reliab. Implement. Real Number Algorithms(Lecture Notes in Computer Science), P.\u00a0Hertling, C.\u00a0M. Hoffmann, W.\u00a0Luther, and N.\u00a0Revol (Eds.)","author":"Lambov","unstructured":"B.\u00a0Lambov. 2008. Interval Arithmetic Using SSE-2. In Reliab. Implement. Real Number Algorithms(Lecture Notes in Computer Science), P.\u00a0Hertling, C.\u00a0M. Hoffmann, W.\u00a0Luther, and N.\u00a0Revol (Eds.). Springer, 102\u2013113. https:\/\/doi.org\/c7vvrk"},{"key":"e_1_3_2_1_18_1","volume-title":"Undergraduate Analysis (2 ed.)","author":"Lang","unstructured":"S.\u00a0Lang. 1997. Undergraduate Analysis (2 ed.). Springer. https:\/\/doi.org\/gtcznr"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.2140\/jsag.2011.3.5"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. ICMS 2016(LNCS). Springer, 191\u2013197","author":"\u00a0\u00c1 M.","year":"2016","unstructured":"M.\u00a0\u00c1. Marco-Buzunariz and M.\u00a0Rodr\u00edguez. 2016. SIROCCO: A Library for Certified Polynomial Root Continuation. In Proc. ICMS 2016(LNCS). Springer, 191\u2013197. https:\/\/doi.org\/10\/grqk32"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/0714040"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"R.\u00a0E. Moore R.\u00a0B. Kearfott and M.\u00a0J. Cloud. 2009. Introduction to Interval Analysis. SIAM. https:\/\/doi.org\/c8ctwd","DOI":"10.1137\/1.9780898717716"},{"key":"e_1_3_2_1_23_1","volume-title":"Handbook of Floating-Point Arithmetic (2 ed.)","author":"Muller N.","unstructured":"J.-M. Muller, N.\u00a0Brunie, F.\u00a0De\u00a0Dinechin, C.-P. Jeannerod, M.\u00a0Joldes, V.\u00a0Lef\u00e8vre, G.\u00a0Melquiond, N.\u00a0Revol, and S.\u00a0Torres. 2018. Handbook of Floating-Point Arithmetic (2 ed.). Springer. https:\/\/doi.org\/gtdkwj"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023061927787"},{"key":"e_1_3_2_1_25_1","unstructured":"N.\u00a0Revol and F.\u00a0Rouillier. 1999\/2023. MPFI. https:\/\/gitlab.inria.fr\/mpfi\/mpfi"},{"key":"e_1_3_2_1_26_1","unstructured":"J.\u00a0I. Rodriguez and B.\u00a0Wang. 2017. Numerical Computation of Braid Groups. arxiv:1711.07947"},{"key":"e_1_3_2_1_27_1","volume-title":"A New Approach to Scientific Computation, U.\u00a0W. Kulisch and W.\u00a0L","author":"Rump","unstructured":"S.\u00a0M. Rump. 1983. Solving Algebraic Problems with High Accuracy. In A New Approach to Scientific Computation, U.\u00a0W. Kulisch and W.\u00a0L. Miranker (Eds.). Academic Press, 51\u2013120. https:\/\/doi.org\/10\/kh8k"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142900372549"},{"key":"e_1_3_2_1_29_1","volume-title":"Solving Polynomial Equations, M.\u00a0Bronstein, A.\u00a0M. Cohen, H.\u00a0Cohen, D.\u00a0Eisenbud, B.\u00a0Sturmfels, A.\u00a0Dickenstein, and I.\u00a0Z","author":"Sommese J.","unstructured":"A.\u00a0J. Sommese, J.\u00a0Verschelde, and C.\u00a0W. Wampler. 2005. Introduction to Numerical Algebraic Geometry. In Solving Polynomial Equations, M.\u00a0Bronstein, A.\u00a0M. Cohen, H.\u00a0Cohen, D.\u00a0Eisenbud, B.\u00a0Sturmfels, A.\u00a0Dickenstein, and I.\u00a0Z. Emiris (Eds.). Springer, 301\u2013337. https:\/\/doi.org\/10\/bzsc24"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/19M1288036"},{"key":"e_1_3_2_1_31_1","unstructured":"J.\u00a0van der Hoeven. 2015. Reliable Homotopy Continuation. https:\/\/hal.science\/hal-00589948v4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/317275.317286"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3209010"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","location":"Raleigh NC USA","acronym":"ISSAC '24","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"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.3669673","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:52:34Z","timestamp":1758588754000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":33,"alternative-id":["10.1145\/3666000.3669673","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669673","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"}}]}}