{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:50:59Z","timestamp":1771573859098,"version":"3.50.1"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T00:00:00Z","timestamp":1679356800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["445466444"],"award-info":[{"award-number":["445466444"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"name":"European Research Council"},{"name":"European Union\u2019s Horizon 2020","award":["787840"],"award-info":[{"award-number":["787840"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2023,3,31]]},"abstract":"<jats:p>\n            We establish interval arithmetic as a practical tool for certification in numerical algebraic geometry. Our software\n            <jats:monospace>HomotopyContinuation.jl<\/jats:monospace>\n            now has a built-in function\n            <jats:monospace>certify<\/jats:monospace>\n            , which proves the correctness of an isolated nonsingular solution to a square system of polynomial equations. The implementation rests on Krawczyk\u2019s method. We demonstrate that it dramatically outperforms earlier approaches to certification. We see this contribution as a powerful new tool in numerical algebraic geometry, which can make certification the default and not just an option.\n          <\/jats:p>","DOI":"10.1145\/3580277","type":"journal-article","created":{"date-parts":[[2023,1,17]],"date-time":"2023-01-17T11:56:18Z","timestamp":1673956578000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Certifying Zeros of Polynomial Systems Using Interval Arithmetic"],"prefix":"10.1145","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3747-9185","authenticated-orcid":false,"given":"Paul","family":"Breiding","sequence":"first","affiliation":[{"name":"Universit\u00e4t Osnabr\u00fcck, Osnabr\u00fcck, Niedersachsen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8198-5192","authenticated-orcid":false,"given":"Kemal","family":"Rose","sequence":"additional","affiliation":[{"name":"MPI MiS Leipzig, Leipzig, Sachsen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8093-1937","authenticated-orcid":false,"given":"Sascha","family":"Timme","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}]}],"member":"320","published-online":{"date-parts":[[2023,3,21]]},"reference":[{"key":"e_1_3_2_2_2","article-title":"Likelihood degenerations","author":"Agostini Daniele","year":"2021","unstructured":"Daniele Agostini, Taylor Brysiewicz, Claudia Fevola, Lukas K\u00fchne, Bernd Sturmfels, and Simon Telen. 2021. Likelihood degenerations. arXiv preprint arXiv:2107.10518 (2021).","journal-title":"arXiv preprint arXiv:2107.10518"},{"key":"e_1_3_2_3_2","article-title":"Bertini: Software for numerical algebraic geometry","author":"Bates Daniel","year":"2013","unstructured":"Daniel Bates, Jonathan Hauenstein, Andrew Sommese, and Charles Wampler. 2013. Bertini: Software for numerical algebraic geometry. Retrieved from bertini.nd.edu.","journal-title":"Retrieved from bertini.nd.edu"},{"key":"e_1_3_2_4_2","article-title":"Yet another eigenvalue algorithm for solving polynomial systems","author":"Bender Mat\u00edas R.","year":"2021","unstructured":"Mat\u00edas R. Bender and Simon Telen. 2021. Yet another eigenvalue algorithm for solving polynomial systems. arXiv preprint arXiv:2105.08472 (2021).","journal-title":"arXiv preprint arXiv:2105.08472"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_3_2_6_2","article-title":"Marginal independence models","author":"Boege Tobias","year":"2021","unstructured":"Tobias Boege, Sonja Petrovi\u0107, and Bernd Sturmfels. 2021. Marginal independence models. arXiv preprint arXiv:2112.10287 (2021).","journal-title":"arXiv preprint arXiv:2112.10287"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10013-022-00549-4"},{"key":"e_1_3_2_8_2","article-title":"Line multiview varieties","author":"Breiding Paul","year":"2022","unstructured":"Paul Breiding, Felix Rydell, Elima Shehu, and Ang\u00e9lica Torres. 2022. Line multiview varieties. arXiv preprint arXiv:2203.01694 (2022).","journal-title":"arXiv preprint arXiv:2203.01694"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-021-09534-8"},{"key":"e_1_3_2_10_2","first-page":"30","article-title":"3264 conics in a second","volume":"67","author":"Breiding Paul","year":"2020","unstructured":"Paul Breiding, Bernd Sturmfels, and Sascha Timme. 2020. 3264 conics in a second. Not. Amer. Math. Societ. 67 (2020), 30\u201337.","journal-title":"Not. Amer. Math. Societ."},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96418-8_54"},{"issue":"2","key":"e_1_3_2_12_2","first-page":"355","article-title":"Tangent quadrics in real 3-space","volume":"76","author":"Brysiewicz Taylor","year":"2021","unstructured":"Taylor Brysiewicz, Claudia Fevola, and Bernd Sturmfels. 2021. Tangent quadrics in real 3-space. Le Matematiche 76, 2 (2021), 355\u2013367.","journal-title":"Le Matematiche"},{"key":"e_1_3_2_13_2","article-title":"Nodes on quintic spectrahedra","author":"Brysiewicz Taylor","year":"2020","unstructured":"Taylor Brysiewicz, Khazhgali Kozhasov, and Mario Kummer. 2020. Nodes on quintic spectrahedra. arXiv preprint arXiv:2011.13860 (2020).","journal-title":"arXiv preprint arXiv:2011.13860"},{"key":"e_1_3_2_14_2","volume-title":"Algebraic Complexity Theory","author":"B\u00fcrgisser Peter","year":"2013","unstructured":"Peter B\u00fcrgisser, Michael Clausen, and Mohammad A. Shokrollahi. 2013. Algebraic Complexity Theory. Vol. 315. Springer Science & Business Media."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326235"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_30"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1093\/imanum\/dry017"},{"key":"e_1_3_2_18_2","article-title":"Planarity in generalized scattering amplitudes: PK polytope, generalized root systems and worldsheet associahedra","author":"Early Nick","year":"2021","unstructured":"Nick Early. 2021. Planarity in generalized scattering amplitudes: PK polytope, generalized root systems and worldsheet associahedra. arXiv preprint arXiv:2106.07142 (2021).","journal-title":"arXiv preprint arXiv:2106.07142"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fluid.2005.08.014"},{"issue":"3","key":"e_1_3_2_20_2","first-page":"215","article-title":"Application of interval Newton\u2019s method to chemical engineering problems","volume":"1","author":"Gopalan Balajit","year":"2005","unstructured":"Balajit Gopalan and Jay-Dean Seader. 2005. Application of interval Newton\u2019s method to chemical engineering problems. Reliab. Comput. 1, 3 (2005), 215\u2013223.","journal-title":"Reliab. Comput."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/2331130.2331136"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.5555\/579525"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1995-1297471-4"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2690633"},{"key":"e_1_3_2_25_2","article-title":"Adjoints and canonical forms of polypols","author":"Kohn Kathl\u00e9n","year":"2021","unstructured":"Kathl\u00e9n Kohn, Ragni Piene, Kristian Ranestad, Felix Rydell, Boris Shapiro, Rainer Sinn, Miruna-Stefana Sorea, and Simon Telen. 2021. Adjoints and canonical forms of polypols. arXiv preprint arXiv:2108.11747 (2021).","journal-title":"arXiv preprint arXiv:2108.11747"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02234767"},{"key":"e_1_3_2_27_2","first-page":"19","article-title":"Inverse kinematics of redundant manipulator using interval newton method","volume":"2","author":"Kumar Virendra","year":"2015","unstructured":"Virendra Kumar, Soumen Sen, and Sankar Shome. 2015. Inverse kinematics of redundant manipulator using interval newton method. Int. J. Eng. Manuf. 2 (2015), 19\u201320.","journal-title":"Int. J. Eng. Manuf."},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3371991.3371995"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.2140\/jsag.2011.3.5"},{"key":"e_1_3_2_30_2","article-title":"Estimating gaussian mixtures using sparse polynomial moment systems","author":"Lindberg Julia","year":"2021","unstructured":"Julia Lindberg, Carlos Am\u00e9ndola, and Jose Israel Rodriguez. 2021. Estimating gaussian mixtures using sparse polynomial moment systems. arXiv preprint arXiv:2106.15675 (2021).","journal-title":"arXiv preprint arXiv:2106.15675"},{"key":"e_1_3_2_31_2","unstructured":"Julia Lindberg Alisha Zachariah Nigel Boston and Bernard C. Lesieutre. 2020. The Distribution of the Number of Real Solutions to the Power Flow Equations. arxiv:math.AG\/2010.03069."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.22405\/2226-8383-2021-22-3-154-165"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1515\/9783110499469"},{"key":"e_1_3_2_34_2","volume-title":"Interval Analysis","author":"Moore Ramon E.","year":"1966","unstructured":"Ramon E. Moore. 1966. Interval Analysis. Vol. 4. Prentice-Hall."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1137\/0714040"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/0096-3003(89)90099-4"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1115\/1.4027443"},{"key":"e_1_3_2_38_2","first-page":"391","article-title":"The number of conics tangent to five given conics: The real case","volume":"10","author":"Ronga Felice","year":"1997","unstructured":"Felice Ronga, Alberto Tognoli, and Thierry Vust. 1997. The number of conics tangent to five given conics: The real case. Rev. Mat. Univ. Complut. Madrid 10 (1997), 391\u2013421.","journal-title":"Rev. Mat. Univ. Complut. Madrid"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.5555\/312.316"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1017\/S096249291000005X"},{"key":"e_1_3_2_42_2","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-1-4612-4984-9_13","volume-title":"The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics","author":"Smale Steve","year":"1986","unstructured":"Steve Smale. 1986. Newton\u2019s method estimates from data at one point. In The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics, Richard E. Ewing, Kenneth I. Gross, and Clyde F. Martin (Eds.). Springer, 185\u2013196."},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1142\/5763"},{"key":"e_1_3_2_44_2","article-title":"Galois groups in enumerative geometry and applications","author":"Sottile Frank","year":"2021","unstructured":"Frank Sottile and Thomas Yahl. 2021. Galois groups in enumerative geometry and applications. arXiv preprint arXiv:2108.07905 (2021).","journal-title":"arXiv preprint arXiv:2108.07905"},{"key":"e_1_3_2_45_2","article-title":"Beyond linear algebra","author":"Sturmfels Bernd","year":"2021","unstructured":"Bernd Sturmfels. 2021. Beyond linear algebra. arXiv preprint arXiv:2108.09494 (2021).","journal-title":"arXiv preprint arXiv:2108.09494"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.2140\/astat.2021.12.167"},{"key":"e_1_3_2_47_2","first-page":"29","article-title":"Theory of an interval algebra and its application to numerical analysis","volume":"2","author":"Sunaga Teruo","year":"1958","unstructured":"Teruo Sunaga. 1958. Theory of an interval algebra and its application to numerical analysis. Res. Assoc. Appl. Geom. 2 (1958), 29\u201346.","journal-title":"Res. Assoc. Appl. Geom."},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/317275.317286"},{"key":"e_1_3_2_49_2","volume-title":"Metric Algebraic Geometry","author":"Weinstein Madeleine Aster","year":"2021","unstructured":"Madeleine Aster Weinstein. 2021. Metric Algebraic Geometry. University of California, Berkeley."}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3580277","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3580277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:19Z","timestamp":1750182559000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3580277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,21]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3,31]]}},"alternative-id":["10.1145\/3580277"],"URL":"https:\/\/doi.org\/10.1145\/3580277","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"value":"0098-3500","type":"print"},{"value":"1557-7295","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,21]]},"assertion":[{"value":"2021-05-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-12-21","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-03-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}