{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T07:10:22Z","timestamp":1724915422073},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2007,2]]},"abstract":"<jats:p>This paper is an introduction to the RealLib package for exact real number computations. The library provides certified accuracy, but tries to achieve this at performance close to the performance of hardware floating point for problems that do not require higher precision. The paper gives the motivation and features of the design of the library and compares it with other packages for exact real arithmetic.<\/jats:p>","DOI":"10.1017\/s0960129506005822","type":"journal-article","created":{"date-parts":[[2007,3,7]],"date-time":"2007-03-07T10:59:58Z","timestamp":1173265198000},"page":"81-98","source":"Crossref","is-referenced-by-count":17,"title":["RealLib: An efficient implementation of exact real arithmetic"],"prefix":"10.1017","volume":"17","author":[{"given":"BRANIMIR","family":"LAMBOV","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,2,1]]},"reference":[{"key":"S0960129506005822_rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7"},{"key":"S0960129506005822_rf6","unstructured":"Edalat A. (2001) Exact Real Number Computation Using Linear Fractional Transformations. Final Report on EPSRC grant GR\/L43077\/01. (Available at http:\/\/www.doc.ic.ac.uk\/~ae\/exact-computation\/exactarithmeticfinal.ps.gz.)"},{"key":"S0960129506005822_rf3","doi-asserted-by":"publisher","DOI":"10.1145\/138351.138377"},{"key":"S0960129506005822_rf2","volume-title":"Precise Numerical Analysis","author":"Aberth","year":"1988"},{"key":"S0960129506005822_rf10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1"},{"key":"S0960129506005822_rf1","doi-asserted-by":"publisher","DOI":"10.1145\/361147.361107"},{"key":"S0960129506005822_rf4","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1998.0488"},{"key":"S0960129506005822_rf8","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-61-71"},{"key":"S0960129506005822_rf12","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93558"},{"key":"S0960129506005822_rf11","doi-asserted-by":"publisher","DOI":"10.1007\/11538363_31"},{"key":"S0960129506005822_rf9","first-page":"155","volume-title":"15th IEEE Symposium on Computer Arithmetic","author":"Hida","year":"2001"},{"key":"S0960129506005822_rf13","unstructured":"Mehlhorn K. and Schirra S. (2000) Generalized and improved constructive separation bound for real algebraic expressions. Research Report, Max-Planck-Institut f\u00fcr Informatik."},{"key":"S0960129506005822_rf14","doi-asserted-by":"crossref","unstructured":"M\u00fcller N. (2001) The iRRAM: Exact arithmetic in C++. Computability and complexity in analysis (Swansea 2000). Springer-Verlag Lecture Notes in Computer Science 2064. (See also http:\/\/www.informatik.uni-trier.de\/iRRAM\/.)","DOI":"10.1007\/3-540-45335-0_14"},{"key":"S0960129506005822_rf7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00097-8"},{"key":"S0960129506005822_rf16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"key":"S0960129506005822_rf5","unstructured":"Briggs K. (to appear) Implementing exact real arithmetic in python, C++ and C. To appear in Journal of theoretical computer science. (See also http:\/\/keithbriggs.info\/xrc.html.)"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129506005822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T09:55:04Z","timestamp":1556186104000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129506005822\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["S0960129506005822"],"URL":"https:\/\/doi.org\/10.1017\/s0960129506005822","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2]]}}}