{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:15Z","timestamp":1750307535714,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T00:00:00Z","timestamp":1248739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,28]]},"DOI":"10.1145\/1576702.1576757","type":"proceedings-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T12:45:28Z","timestamp":1248785128000},"page":"387-388","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Exact numerical computation in algebra and geometry"],"prefix":"10.1145","author":[{"given":"Chee K.","family":"Yap","sequence":"first","affiliation":[{"name":"New York University, New York, NY, USA and Korea Institute of Advanced Study, Seoul, Korea"}]}],"member":"320","published-online":{"date-parts":[[2009,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"J.-D","author":"Boissonnat J.-D.","year":"2006","unstructured":"J.-D. Boissonnat , D. Cohen-Steiner , B. Mourrain , G. Rote , and G. Vegter . Meshing of surfaces . In J.-D . Boissonnat and M. Teillaud, editors, Effective Computational Geometry for Curves and Surfaces. Springer , 2006 . Chapter 5. J.-D. Boissonnat, D. Cohen-Steiner, B. Mourrain, G. Rote, and G. Vegter. Meshing of surfaces. In J.-D. Boissonnat and M. Teillaud, editors, Effective Computational Geometry for Curves and Surfaces. Springer, 2006. Chapter 5."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7551-4","volume-title":"Computer Algebra","author":"Buchberger B.","year":"1983","unstructured":"B. Buchberger , G. E. Collins , and R. Loos , editors . Computer Algebra . Springer-Verlag , Berlin , 2 nd edition, 1983 . B. Buchberger, G. E. Collins, and R. Loos, editors. Computer Algebra. Springer-Verlag, Berlin, 2nd edition, 1983.","edition":"2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390783"},{"key":"e_1_3_2_1_4_1","volume-title":"Feb.","author":"Burr M.","year":"2009","unstructured":"M. Burr , F. Krahmer , and C. Yap . Integral analysis of evaluation-based real root isolation , Feb. 2009 . Submitted , 2009. M. Burr, F. Krahmer, and C. Yap. Integral analysis of evaluation-based real root isolation, Feb. 2009. Submitted, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/206777"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542362.1542423"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1057432.1057465"},{"key":"e_1_3_2_1_9_1","volume-title":"Certified complex root isolation by subdivision and modular computation","author":"Sagraloff M.","year":"2009","unstructured":"M. Sagraloff , M. Kerber , and M. Hemmer . Certified complex root isolation by subdivision and modular computation , 2009 . Preprint . M. Sagraloff, M. Kerber, and M. Hemmer. Certified complex root isolation by subdivision and modular computation, 2009. Preprint."},{"key":"e_1_3_2_1_10_1","volume-title":"Handbook of Computational Geometry","author":"Schirra S.","year":"1999","unstructured":"S. Schirra . Robustness and precision issues in geometric computation . In J. Sack and J. Urrutia, editors, Handbook of Computational Geometry . Elsevier Science Publishers , B.V. North-Holland, Amsterdam, 1999 . S. Schirra. Robustness and precision issues in geometric computation. In J. Sack and J. Urrutia, editors, Handbook of Computational Geometry. Elsevier Science Publishers, B.V. North-Holland, Amsterdam, 1999."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719574"},{"key":"e_1_3_2_1_12_1","volume-title":"New Progress in Difference Equations","author":"Zeilberger D.","year":"2001","unstructured":"D. Zeilberger . \"real\" analysis is a degenerate case of discrete analysis. In B. Aulbach, S. Elaydi, and G. Ladas, editors , New Progress in Difference Equations , London , 2001 . Taylor and Frances. Proc. ICDEA 2001. D. Zeilberger. \"real\" analysis is a degenerate case of discrete analysis. In B. Aulbach, S. Elaydi, and G. Ladas, editors, New Progress in Difference Equations, London, 2001. Taylor and Frances. Proc. ICDEA 2001."}],"event":{"name":"ISSAC '09: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Seoul Republic of Korea","acronym":"ISSAC '09"},"container-title":["Proceedings of the 2009 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1576702.1576757","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1576702.1576757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:17Z","timestamp":1750249397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1576702.1576757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,28]]},"references-count":11,"alternative-id":["10.1145\/1576702.1576757","10.1145\/1576702"],"URL":"https:\/\/doi.org\/10.1145\/1576702.1576757","relation":{},"subject":[],"published":{"date-parts":[[2009,7,28]]},"assertion":[{"value":"2009-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}