{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:23Z","timestamp":1760061803232,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"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":[{"name":"National Natural Science Foundation of China","award":["11471327"],"award-info":[{"award-number":["11471327"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326237","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"90-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Certified Numerical Real Root Isolation for Bivariate Polynomial Systems"],"prefix":"10.1145","author":[{"given":"Jin-San","family":"Cheng","sequence":"first","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}]},{"given":"Junyi","family":"Wen","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China"}]}],"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\/2790248.2790252"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2016.07.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.08.021"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087654"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555964_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576719"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.017"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2014.09.017"},{"volume-title":"Plotting Planar Implicit Curves and Its Applications. In International Congress on Mathematical Software. Springer, 113--122","author":"Cheng J. S.","key":"e_1_3_2_1_10_1","unstructured":"J. S. Cheng, J. Wen, and W. Zhang. 2018. Plotting Planar Implicit Curves and Its Applications. In International Congress on Mathematical Software. Springer, 113--122."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258767"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.009"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555964_13"},{"key":"e_1_3_2_1_14_1","unstructured":"J. Garloff and A.P. Smith. 2000. Investigation of a subdivision based algorithm for solving systems of polynomial equations. (2000)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"J. Garloff and A.P. Smith. 2001. Solution of systems of polynomial equations by using Bernstein expansion. In Symbolic Algebraic Methods and Verification Methods. Springer 87--97.","DOI":"10.1007\/978-3-7091-6280-4_9"},{"key":"e_1_3_2_1_16_1","volume-title":"SRATC'2008","author":"Hong H.","year":"2008","unstructured":"H. Hong, M. Shan, and Z. Zeng. 2008. Hybrid method for solving bivariate polynomial system. SRATC'2008 (2008)."},{"key":"e_1_3_2_1_17_1","volume-title":"A Subdivision Solver for Systems of Large Dense Polynomials. arXiv:1603.07916","author":"Imbach R.","year":"2016","unstructured":"R. Imbach. 2016. A Subdivision Solver for Systems of Large Dense Polynomials. arXiv:1603.07916 (2016)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252029"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2014.08.002"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02234767"},{"key":"e_1_3_2_1_21_1","volume-title":"Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision. In ICMS","author":"Lien J. M.","year":"2014","unstructured":"J. M. Lien, V. Sharma, G. Vegter, and C. Yap. 2014. Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision. In ICMS 2014. Springer, 277--282. LNCS No. 8592. Download from http:\/\/cs.nyu.edu\/exact\/papers\/ for version with Appendices and details on MK Test."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of Symbolic Numeric Computation","author":"Lu Z.","year":"2005","unstructured":"Z. Lu, B. He, Y. Luo, and L. Pan. 2005. An algorithm of real root isolation for polynomial systems. Proceedings of Symbolic Numeric Computation (2005), 94--107."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.01.009"},{"key":"e_1_3_2_1_24_1","unstructured":"C. Miranda. 1940. Un'osservazione su un teorema di Brouwer .Consiglio Nazionale delle Ricerche."},{"volume-title":"Interval analysis","author":"Moore R. E.","key":"e_1_3_2_1_25_1","unstructured":"R. E. Moore. 1966. Interval analysis . Vol. 4. Prentice-Hall Englewood Cliffs, NJ."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1137\/0714040"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/0717044"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.04.016"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1057432.1057465"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2013.01.039"},{"key":"e_1_3_2_1_31_1","unstructured":"W. Rudin. 1976. Principles of mathematical analysis. (1976)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/312.316"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1648357.1648360"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812792839_0009"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390810"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576749"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.11.004"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313880.3313888"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2006.06.003"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Beijing China","acronym":"ISSAC '19"},"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.3326237","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:59Z","timestamp":1750206359000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326237"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":39,"alternative-id":["10.1145\/3326229.3326237","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326237","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"}}]}}