{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:58:49Z","timestamp":1762783129783,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":20,"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\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669699","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"274-282","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Certified homotopy tracking using the Krawczyk method"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2065-6309","authenticated-orcid":false,"given":"Timothy","family":"Duff","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Washington, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1191-1400","authenticated-orcid":false,"given":"Kisun","family":"Lee","sequence":"additional","affiliation":[{"name":"School of Mathematical and Statistical Science, Clemson University, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2011.606184"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9143-2"},{"volume-title":"Complexity and real computation","author":"Blum Lenore","key":"e_1_3_2_1_3_1","unstructured":"Lenore Blum. 1998. Complexity and real computation. Springer Science & Business Media."},{"key":"e_1_3_2_1_4_1","volume-title":"Certifying zeros of polynomial systems using interval arithmetic. ACM Trans. Math. Software","author":"Breiding Paul","year":"2020","unstructured":"Paul Breiding, Kemal Rose, and Sascha Timme. 2020. Certifying zeros of polynomial systems using interval arithmetic. ACM Trans. Math. Software (2020)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326235"},{"key":"e_1_3_2_1_6_1","volume-title":"The Euclidean distance degree of an algebraic variety. Foundations of computational mathematics 16","author":"Draisma Jan","year":"2016","unstructured":"Jan Draisma, Emil Horobe\u0163, Giorgio Ottaviani, Bernd Sturmfels, and Rekha\u00a0R Thomas. 2016. The Euclidean distance degree of an algebraic variety. Foundations of computational mathematics 16 (2016), 99\u2013149."},{"key":"e_1_3_2_1_7_1","unstructured":"Daniel\u00a0R. Grayson and Michael\u00a0E. Stillman. [n. d.]. Macaulay2 a software system for research in algebraic geometry. Available at http:\/\/www2.macaulay2.com."},{"key":"e_1_3_2_1_8_1","volume-title":"Validated numerics for algebraic path tracking. arXiv preprint arXiv:2401.17973","author":"Guillemot Alexandre","year":"2024","unstructured":"Alexandre Guillemot and Pierre Lairez. 2024. Validated numerics for algebraic path tracking. arXiv preprint arXiv:2401.17973 (2024). arxiv:2401.17973\u00a0[math.NA]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608651"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331130.2331136"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01206384"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/0731048"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02234767"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371991.3371995"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Ramon\u00a0E Moore R\u00a0Baker Kearfott and Michael\u00a0J Cloud. 2009. Introduction to interval analysis. SIAM.","DOI":"10.1137\/1.9780898717716"},{"key":"e_1_3_2_1_16_1","volume-title":"Computer methods for the range of functions","author":"Rokne Ratschek","year":"1932","unstructured":"H.\u00a0(Helmut) Ratschek and J.\u00a0(Jon) Rokne. 1984. Computer methods for the range of functions. E. Horwood and Halsted Press. https:\/\/cir.nii.ac.jp\/crid\/1130000794961932160"},{"key":"e_1_3_2_1_17_1","volume-title":"Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable computing 11, 4","author":"Revol Nathalie","year":"2005","unstructured":"Nathalie Revol and Fabrice Rouillier. 2005. Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable computing 11, 4 (2005), 275\u2013290."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Sommese and C. Wampler. 2005. The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific.","DOI":"10.1142\/9789812567727"},{"key":"e_1_3_2_1_19_1","unstructured":"Joris van Der\u00a0Hoeven. 2011. Reliable homotopy continuation. Technical Report (2011)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3209010"}],"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.3669699","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:53:34Z","timestamp":1758588814000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669699"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":20,"alternative-id":["10.1145\/3666000.3669699","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669699","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"}}]}}