{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:39:12Z","timestamp":1730313552272,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,9]]},"DOI":"10.1145\/1145768.1145795","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"138-145","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Effective real numbers in Mmxlib"],"prefix":"10.1145","author":[{"given":"Joris","family":"van der Hoeven","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Sud, Orsay, France"}]}],"member":"320","published-online":{"date-parts":[[2006,7,9]]},"reference":[{"volume-title":"Introduction to interval analysis","year":"1983","author":"Alefeld G.","key":"e_1_3_2_1_1_1","unstructured":"G. Alefeld and J. Herzberger . Introduction to interval analysis . Academic Press , 1983 . G. Alefeld and J. Herzberger. Introduction to interval analysis. Academic Press, 1983."},{"key":"e_1_3_2_1_3_1","series-title":"Lect","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45335-0","volume-title":"Computability and complexity in analysis","author":"Blanck J.","year":"2001","unstructured":"J. Blanck , V. Brattka , and P. Hertling , editors . Computability and complexity in analysis , volume 2064 of Lect . Notes in Comp. Sc. Springer , 2001 . J. Blanck, V. Brattka, and P. Hertling, editors. Computability and complexity in analysis, volume 2064 of Lect. Notes in Comp. Sc. Springer, 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00097-8"},{"key":"e_1_3_2_1_5_1","first-page":"418","volume-title":"Cybernetics","author":"Gaganov A.","year":"1985","unstructured":"A. Gaganov . Computational complexity of the range of the polynomial in several variables . Cybernetics , pages 418 -- 425 , 1985 . A. Gaganov. Computational complexity of the range of the polynomial in several variables. Cybernetics, pages 418--425, 1985."},{"key":"e_1_3_2_1_6_1","unstructured":"T. Granlund etal GMP the GNU multiple precision arithmetic library. http:\/\/www.swox.com\/gmp 1991-2006. T. Granlund et al. GMP the GNU multiple precision arithmetic library. http:\/\/www.swox.com\/gmp 1991-2006."},{"key":"e_1_3_2_1_8_1","unstructured":"G. Hanrot V. Lef\u00e8vre K. Ryde and P. Zimmermann. MPFR a C library for multiple-precision floating-point computations with exact rounding. http:\/\/www.mpfr.org 2000-2006. G. Hanrot V. Lef\u00e8vre K. Ryde and P. Zimmermann. MPFR a C library for multiple-precision floating-point computations with exact rounding. http:\/\/www.mpfr.org 2000-2006."},{"key":"e_1_3_2_1_11_1","unstructured":"B. Lambov. The RealLib project. http:\/\/www.brics.dk\/~barnie\/RealLib 2001-2006. B. Lambov. The RealLib project. http:\/\/www.brics.dk\/~barnie\/RealLib 2001-2006."},{"key":"e_1_3_2_1_12_1","unstructured":"V. M\u00e9nissier-Morain. Arbitrary precision real arithmetic: design and algorithms. Unpublished. V. M\u00e9nissier-Morain. Arbitrary precision real arithmetic: design and algorithms. Unpublished."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"N. M\u00fcller. iRRAM exact arithmetic in C++. http:\/\/www.informatik.uni-trier.de\/iRRAM\/ 2000-2006. N. M\u00fcller. iRRAM exact arithmetic in C++. http:\/\/www.informatik.uni-trier.de\/iRRAM\/ 2000-2006.","DOI":"10.1007\/3-540-45335-0_14"},{"volume-title":"A monadic, functional implementation of real numbers. Technical report","year":"2005","author":"O'Connor R.","key":"e_1_3_2_1_14_1","unstructured":"R. O'Connor . A monadic, functional implementation of real numbers. Technical report , Institute for Computing and Information Science, Radboud University Nijmegen , 2005 . R. O'Connor. A monadic, functional implementation of real numbers. Technical report, Institute for Computing and Information Science, Radboud University Nijmegen, 2005."},{"key":"e_1_3_2_1_15_1","unstructured":"N. Revol. MPFI a multiple precision interval arithmetic library. http:\/\/perso.ens-lyon.fr\/nathalie.revol\/software.html 2001-2006. N. Revol. MPFI a multiple precision interval arithmetic library. http:\/\/perso.ens-lyon.fr\/nathalie.revol\/software.html 2001-2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022374804152"},{"issue":"42","key":"e_1_3_2_1_17_1","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"2","author":"Turing A.","year":"1936","unstructured":"A. Turing . On computable numbers, with an application to the Entscheidungsproblem . Proc. London Maths. Soc. , 2 ( 42 ): 230 -- 265 , 1936 . A. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proc. London Maths. Soc., 2(42):230--265, 1936.","journal-title":"Proc. London Maths. Soc."},{"key":"e_1_3_2_1_18_1","unstructured":"J. van der Hoeven. GMPX a C-extension library for gmp. http:\/\/www.math.u-psud.fr\/~vdhoeven\/ 1999. No longer maintained. J. van der Hoeven. GMPX a C-extension library for gmp. http:\/\/www.math.u-psud.fr\/~vdhoeven\/ 1999. No longer maintained."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0562"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.060"},{"volume-title":"Mmxlib: the standard library for Mathemagix","year":"2002","author":"van der Hoeven J.","key":"e_1_3_2_1_21_1","unstructured":"J. van der Hoeven Mmxlib: the standard library for Mathemagix , 2002 -2006. http:\/\/www.mathemagix.org\/mml.html. J. van der Hoeven et al. Mmxlib: the standard library for Mathemagix, 2002-2006. http:\/\/www.mathemagix.org\/mml.html."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable analysis","author":"Weihrauch K.","year":"2000","unstructured":"K. Weihrauch . Computable analysis . Springer-Verlag , Berlin\/ Heidelberg , 2000 . K. Weihrauch. Computable analysis. Springer-Verlag, Berlin\/Heidelberg, 2000."}],"event":{"name":"ISSAC06: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Genoa Italy","acronym":"ISSAC06"},"container-title":["Proceedings of the 2006 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145768.1145795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T16:57:30Z","timestamp":1673369850000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145768.1145795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,9]]},"references-count":18,"alternative-id":["10.1145\/1145768.1145795","10.1145\/1145768"],"URL":"https:\/\/doi.org\/10.1145\/1145768.1145795","relation":{},"subject":[],"published":{"date-parts":[[2006,7,9]]},"assertion":[{"value":"2006-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}