{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T03:09:28Z","timestamp":1768964968321,"version":"3.49.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:p>\n                    <jats:italic toggle=\"yes\">Algpath<\/jats:italic>\n                    is a certified homotopy continuation software. We upgrade the previous fixed-precision Rust implementation by incorporating mixed, adaptive precision with minimal overhead. This allows us to tackle problems on which the initial implementation fails due to the inability to increase precision, and where uncertified methods may fail or path jump.\n                  <\/jats:p>","DOI":"10.1145\/3787957.3787960","type":"journal-article","created":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T14:56:52Z","timestamp":1768921012000},"page":"53-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Certified Algebraic Path Tracking with Algpath"],"prefix":"10.1145","volume":"59","author":[{"given":"Alexandre","family":"Guillemot","sequence":"first","affiliation":[{"name":"Inria, Universit\u00e9 Paris-Saclay, Palaiseau, France"}]}],"member":"320","published-online":{"date-parts":[[2026,1,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2568129"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2011.606184"},{"key":"e_1_2_1_3_1","first-page":"465","volume-title":"HomotopyContinuation.Jl: A Package for Homotopy Continuation in Julia","author":"Breiding P.","year":"2018","unstructured":"P. Breiding and S. Timme. \"HomotopyContinuation.Jl: A Package for Homotopy Continuation in Julia\". In: Mathematical Software - ICMS 2018. Ed. by J. H. Davenport et al. Lecture Notes in Computer Science. Springer International Publishing, 2018, pp. 458\u2013465."},{"key":"e_1_2_1_4_1","volume-title":"Certified Algebraic Curve Projections by Path Tracking\". In","author":"Burr M.","year":"2025","unstructured":"M. Burr, M. Byrd, and K. Lee. \"Certified Algebraic Curve Projections by Path Tracking\". In: (2025). Pre-published."},{"key":"e_1_2_1_5_1","first-page":"190","volume-title":"A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods","author":"Chen T.","year":"2014","unstructured":"T. Chen, T.-L. Lee, and T.-Y. Li. \"Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods\". In: Mathematical Software - ICMS 2014. Ed. by H. Hong and C. Yap. Springer, 2014, pp. 183\u2013190."},{"key":"e_1_2_1_6_1","first-page":"282","volume-title":"Proc. ISSAC 2024","author":"Duff T.","year":"2024","unstructured":"T. Duff and K. Lee. \"Certified Homotopy Tracking Using the Krawczyk Method\". In: Proc. ISSAC 2024. Association for Computing Machinery, 2024, pp. 274\u2013282."},{"key":"e_1_2_1_7_1","first-page":"45","volume-title":"Proc. ISSAC 2024","author":"Guillemot A.","year":"2024","unstructured":"A. Guillemot and P. Lairez. \"Validated Numerics for Algebraic Path Tracking\". In: Proc. ISSAC 2024. Association for Computing Machinery, 2024, pp. 36\u201345."},{"issue":"4","key":"e_1_2_1_8_1","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1007\/s10208-017-9356-x","article-title":"Numerical Computation of Galois Groups","volume":"18","author":"Hauenstein J. D.","year":"2018","unstructured":"J. D. Hauenstein, J. I. Rodriguez, and F. Sottile. \"Numerical Computation of Galois Groups\". In: Found Comput Math 18.4 (2018), pp. 867\u2013890.","journal-title":"Found Comput Math"},{"key":"e_1_2_1_9_1","unstructured":"J. van der Hoeven. \"Reliable Homotopy Continuation\". In: (2015)."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2690633"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/0731048"},{"key":"e_1_2_1_12_1","series-title":"Lecture Notes in Computer Science","first-page":"113","volume-title":"by P. Hertling et al","author":"Lambov B.","year":"2008","unstructured":"B. Lambov. \"Interval Arithmetic Using SSE-2\". In: Reliab. Implement. Real Number Algorithms. Ed. by P. Hertling et al. Lecture Notes in Computer Science. Springer, 2008, pp. 102\u2013113."},{"key":"e_1_2_1_13_1","first-page":"197","volume-title":"SIROCCO: A Library for Certified Polynomial Root Continuation","author":"Marco-Buzunariz M.","year":"2016","unstructured":"M. \u00c1. Marco-Buzunariz and M. Rodr\u00edguez. \"SIROCCO: A Library for Certified Polynomial Root Continuation\". In: Mathematical Software - ICMS 2016. Ed. by G.-M. Greuel et al. Vol. 9725. Springer International Publishing, 2016, pp. 191\u2013197."},{"key":"e_1_2_1_14_1","volume-title":"MPFI\". In","author":"Revol N.","year":"1999","unstructured":"N. Revol and F. Rouillier. \"MPFI\". In: (1999)."},{"key":"e_1_2_1_15_1","volume-title":"Numerical Computation of Braid Groups\". In","author":"Rodriguez J. I.","year":"2017","unstructured":"J. I. Rodriguez and B. Wang. \"Numerical Computation of Braid Groups\". In: (2017). Pre-published."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1137\/19M1288036"},{"issue":"5","key":"e_1_2_1_17_1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s10444-021-09899-y","article-title":"Mixed Precision Path Tracking for Polynomial Homotopy Continuation","volume":"47","author":"Timme S.","year":"2021","unstructured":"S. Timme. \"Mixed Precision Path Tracking for Polynomial Homotopy Continuation\". In: Adv Comput Math 47.5 (2021), p. 75.","journal-title":"Adv Comput Math"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/317275.317286"},{"key":"e_1_2_1_19_1","first-page":"406","volume-title":"Proc. ISSAC 2018","author":"Xu J.","year":"2018","unstructured":"J. Xu, M. Burr, and C. Yap. \"An Approach for Certifying Homotopy Continuation Paths: Univariate Case\". In: Proc. ISSAC 2018. Association for Computing Machinery, 2018, pp. 399\u2013406."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3787957.3787960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T14:56:54Z","timestamp":1768921014000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3787957.3787960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["10.1145\/3787957.3787960"],"URL":"https:\/\/doi.org\/10.1145\/3787957.3787960","relation":{},"ISSN":["1932-2232","1932-2240"],"issn-type":[{"value":"1932-2232","type":"print"},{"value":"1932-2240","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]},"assertion":[{"value":"2026-01-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}