{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:44:32Z","timestamp":1762775072244,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747550","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"87-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Certified algebraic curve projections by path tracking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8921-4870","authenticated-orcid":false,"given":"Michael","family":"Burr","sequence":"first","affiliation":[{"name":"School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0998-0433","authenticated-orcid":false,"given":"Michael","family":"Byrd","sequence":"additional","affiliation":[{"name":"School of Mathematical and Statistical Sciences, Clemson University, Clemson, SC, 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, Clemson, SC, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/2568129"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"Carlos Beltr\u00e1n and Anton Leykin. 2012. Certified numerical homotopy tracking. Experimental Mathematics 21 1 (2012) 69\u201383.","DOI":"10.1080\/10586458.2011.606184"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Carlos Beltr\u00e1n and Anton Leykin. 2013. Robust certified numerical homotopy tracking. Foundations of Computational Mathematics 13 (2013) 253\u2013295.","DOI":"10.1007\/s10208-013-9143-2"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Carlos Beltr\u00e1n and Luis\u00a0Miguel Pardo. 2008. On Smale\u2019s 17th Problem: A Probabilistic Positive Solution. Foundations of Computational Mathematics 8 (2008) 1\u201343.","DOI":"10.1007\/s10208-005-0211-0"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Paul Breiding Kemal Rose and Sascha Timme. 2023. Certifying Zeros of Polynomial Systems Using Interval Arithmetic. ACM Trans. Math. Software 49 1 (2023).","DOI":"10.1145\/3580277"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Peter B\u00fcrgisser and Felipe Cucker. 2011. On a problem posed by Steve Smale. Annals of Mathematics 174 3 (2011) 1785\u20131836.","DOI":"10.4007\/annals.2011.174.3.8"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597066.3597074"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Michael Burr Sung\u00a0Woo Choi Ben Galehouse and Chee\u00a0K. Yap. 2012. Complete subdivision algorithms II: Isotopic meshing of singular algebraic curves. Journal of Symbolic Computation 47 2 (2012) 131\u2013152.","DOI":"10.1016\/j.jsc.2011.08.021"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326235"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Timothy Duff Viktor Korotynskiy Tomas Pajdla and Margaret\u00a0H. Regan. 2022. Galois\/Monodromy Groups for Decomposing Minimal Problems in 3D Reconstruction. SIAM Journal on Applied Algebra and Geometry 6 4 (2022) 740\u2013772.","DOI":"10.1137\/21M1422872"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3666000.3669699"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087611"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3666000.3669673"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608651"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Jonathan\u00a0D. Hauenstein and Alan\u00a0C. Liddell. 2016. Certified predictor\u2013corrector tracking for Newton homotopies. Journal of Symbolic Computation 74 (2016) 239\u2013254.","DOI":"10.1016\/j.jsc.2015.07.001"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Fredrik Johansson. 2017. Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Trans. Comput. 66 8 (2017) 1281\u20131292.","DOI":"10.1109\/TC.2017.2690633"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Christina Katsamaki Fabrice Rouillier Elias Tsigaridas and Zafeirakis Zafeirakopoulos. 2023. PTOPO: Computing the geometry and the topology of parametric curves. Journal of Symbolic Computation 115 (2023) 427\u2013451.","DOI":"10.1016\/j.jsc.2022.08.012"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"R\u00a0Baker Kearfott and Zhaoyun Xing. 1994. An interval step control for continuation methods. SIAM J. Numer. Anal. 31 3 (1994) 892\u2013914.","DOI":"10.1137\/0731048"},{"key":"e_1_3_3_1_20_2","unstructured":"Mihye Kim. 2004. Hybrid Interval Marching\/Branch and Bound Method for Parametrized Nonlinear Systems. Ph.\u00a0D. Dissertation. University of Louisiana at Lafayette."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Rudolf Krawczyk. 1969. Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschrank. Computing 4 (1969) 187\u2013201.","DOI":"10.1007\/BF02234767"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Benjamin Martin Alexandre Goldsztejn Laurent Granvilliers and Christophe Jermann. 2013. Certified parallelotope continuation for one-manifolds. SIAM J. Numer. Anal. 51 6 (2013) 3373\u20133401.","DOI":"10.1137\/130906544"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Ramon\u00a0E Moore. 1977. A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14 4 (1977) 611\u2013615.","DOI":"10.1137\/0714040"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716"},{"key":"e_1_3_3_1_25_2","first-page":"251","volume-title":"Proceeding Symposium on Geometry Processing","author":"Plantinga Simon","year":"2004","unstructured":"Simon Plantinga and Gert Vegter. 2004. Isotopic Implicit Surface Meshing. In Proceeding Symposium on Geometry Processing. 251\u2013260."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Simon Plantinga and Gert Vegter. 2007. Isotopic Meshing of Implicit Surfaces. The Visual Computer 23 (2007) 45\u201358.","DOI":"10.1007\/s00371-006-0083-6"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.5555\/312.316"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Michael Shub and Steve Smale. 1993. Complexity of Bezout\u2019s Theorem I: Geometric aspects. Journal of American Mathematical Society 6 2 (1993) 459\u2013501.","DOI":"10.1090\/S0894-0347-1993-1175980-4"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1011-5_16"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27357-3_8"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1142\/5763"},{"key":"e_1_3_3_1_32_2","volume-title":"Reliable homotopy continuation","author":"Hoeven Joris van\u00a0der","year":"2015","unstructured":"Joris van\u00a0der Hoeven. 2015. Reliable homotopy continuation. Technical Report ffhal-00589948v4f. LIX, Ecole polytechnique."},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3209010"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Guanajuato Mexico","acronym":"ISSAC '25"},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:40:23Z","timestamp":1762774823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":32,"alternative-id":["10.1145\/3747199.3747550","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747550","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}