{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:39:01Z","timestamp":1777646341178,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:00:00Z","timestamp":1562544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1423228 and CCF- 1564132"],"award-info":[{"award-number":["CCF-1423228 and CCF- 1564132"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangxi Bagui Scholars","award":["WBS 2014-01"],"award-info":[{"award-number":["WBS 2014-01"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["NSFC 11771034"],"award-info":[{"award-number":["NSFC 11771034"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Beihang International Visiting Professor Program","award":["Z2018060"],"award-info":[{"award-number":["Z2018060"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326270","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"355-362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis"],"prefix":"10.1145","author":[{"given":"Juan","family":"Xu","sequence":"first","affiliation":[{"name":"Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chee","family":"Yap","sequence":"additional","affiliation":[{"name":"Courant Institute, NYU, New York, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1202992"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/578775"},{"key":"e_1_3_2_1_3_1","first-page":"102","article-title":"On the existence theorems of Kantorovich","volume":"17","author":"Alefeld G\u00f6tz","year":"2004","unstructured":"G\u00f6tz Alefeld, Andreas Frommer, Gerhard Heindl, and Jan Mayer. On the existence theorems of Kantorovich, Miranda and Borsuk. Electronic Transactions on Numerical Analysis, 17:102--111, 2004.","journal-title":"Miranda and Borsuk. Electronic Transactions on Numerical Analysis"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930939"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.03.009"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/265020"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/376957.376958"},{"key":"e_1_3_2_1_8_1","volume-title":"Effective topological degree computation based on interval arithmetic. CoRR, abs\/1207.6331","author":"Franek Peter","year":"2012","unstructured":"Peter Franek and Stefan Ratschan. Effective topological degree computation based on interval arithmetic. CoRR, abs\/1207.6331, 2012."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142903438148"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-004-0064-4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0362-546X(01)00166-3"},{"key":"e_1_3_2_1_12_1","first-page":"87","volume-title":"Symbolic Algebraic Methods and Verification Methods (Dagstuhl","author":"Garloff J\u00fcrgen","year":"1999","unstructured":"J\u00fcrgen Garloff and Andrew P. Smith. Solution of systems of polynomial equations by using Bernstein expansion. In G. Alefeld, S. Rump, J. Rohn, and T. Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods (Dagstuhl 1999), pages 87--97. Springer, Vienna, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-006-0217-8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96418-8_28"},{"key":"e_1_3_2_1_15_1","volume-title":"Rigorous global search: continuous problems","author":"Kearfott R Baker","year":"2013","unstructured":"R Baker Kearfott. Rigorous global search: continuous problems, volume 13. Springer Science & Business Media, 2013."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252029"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930937"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_43"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1971362.1971369"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/0717044"},{"key":"e_1_3_2_1_21_1","volume-title":"Methods and Applications of Interval Analysis","author":"Moore Ramon E.","year":"1995","unstructured":"Ramon E. Moore. Methods and Applications of Interval Analysis. SIAM, Phildelphia, PA, 1995. Second Reprint."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.016"},{"key":"e_1_3_2_1_23_1","volume-title":"Interval Methods for Systems of Equations","author":"Neumaier Arnold","year":"1990","unstructured":"Arnold Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990."},{"key":"e_1_3_2_1_24_1","volume-title":"Computer Methods for the Range of Functions","author":"Ratschek Helmut","year":"1984","unstructured":"Helmut Ratschek and Jon Rokne. Computer Methods for the Range of Functions. Horwood Publishing Limited, Chichester, West Sussex, UK, 1984."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.03.004"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1648357.1648360"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142995281504"},{"key":"e_1_3_2_1_28_1","volume-title":"May","author":"Xu Juan","year":"2019","unstructured":"Juan Xu and Chee Yap. Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis. arXiv e-prints, page arXiv:1905.03505, May 2019."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39053-1_51"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80069-7"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03456-5_26"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","location":"Beijing China","acronym":"ISSAC '19","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326270","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:00Z","timestamp":1750206360000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":31,"alternative-id":["10.1145\/3326229.3326270","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326270","relation":{},"subject":[],"published":{"date-parts":[[2019,7,8]]},"assertion":[{"value":"2019-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}