{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:19Z","timestamp":1750306459453,"version":"3.41.0"},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T00:00:00Z","timestamp":1448323200000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2015,11,24]]},"abstract":"<jats:p>Arithmetic operations with high degrees of precision are needed for an increasing number of applications. We propose an exact real arithmetic system that achieves adaptive precision using lazy infinite lists of floating-point values.<\/jats:p>","DOI":"10.1145\/2850449.2850456","type":"journal-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T19:03:44Z","timestamp":1448910224000},"page":"83-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A lazy approach to adaptive exact real arithmetic using floating-point operations"],"prefix":"10.1145","volume":"49","author":[{"given":"Ryan","family":"McCleeary","sequence":"first","affiliation":[{"name":"University of Iowa, Iowa City"}]},{"given":"Martin","family":"Brain","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"given":"Aaron","family":"Stump","sequence":"additional","affiliation":[{"name":"University of Iowa, Iowa City"}]}],"member":"320","published-online":{"date-parts":[[2015,11,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2005.52"},{"key":"e_1_2_1_2_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-44557-9_7","volume-title":"Types for Proofs and Programs","author":"Ciaffaglione A.","year":"2000","unstructured":"A. Ciaffaglione and P. Gianantonio . A co-inductive approach to real numbers . In T. Coquand, P. Dybjer, B. Nordstr\u00f6m, and J. Smith, editors, Types for Proofs and Programs , volume 1956 of Lecture Notes in Computer Science , pages 114 -- 130 . Springer Berlin Heidelberg , 2000 . A. Ciaffaglione and P. Gianantonio. A co-inductive approach to real numbers. In T. Coquand, P. Dybjer, B. Nordstr\u00f6m, and J. Smith, editors, Types for Proofs and Programs, volume 1956 of Lecture Notes in Computer Science, pages 114--130. Springer Berlin Heidelberg, 2000."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4705-6","volume-title":"Handbook of Floating-Point Arithmetic","author":"Muller JM.","year":"2010","unstructured":"JM. Muller , N. Brisebarre , F. de Dinechin , CP. Jeannerod , V. Lef\u00e8vre , G. Melquiond , N. Revol , D. Stehl\u00e9 , and S. Torres . Handbook of Floating-Point Arithmetic . Birkh\u00e4user Boston , 2010 . ACM G.1.0; G.1.2; G.4; B.2.0; B.2.4; F.2.1., ISBN 978-0-8176-4704-9. JM. Muller, N. Brisebarre, F. de Dinechin, CP. Jeannerod, V. Lef\u00e8vre, G. Melquiond, N. Revol, D. Stehl\u00e9, and S. Torres. Handbook of Floating-Point Arithmetic. Birkh\u00e4user Boston, 2010. ACM G.1.0; G.1.2; G.4; B.2.0; B.2.4; F.2.1., ISBN 978-0-8176-4704-9."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1991.145549"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2850449.2850456","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2850449.2850456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:27Z","timestamp":1750225407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2850449.2850456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,24]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,11,24]]}},"alternative-id":["10.1145\/2850449.2850456"],"URL":"https:\/\/doi.org\/10.1145\/2850449.2850456","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2015,11,24]]},"assertion":[{"value":"2015-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}