{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:04:37Z","timestamp":1761487477865,"version":"3.40.5"},"reference-count":21,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2006,2,1]],"date-time":"2006-02-01T00:00:00Z","timestamp":1138752000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":2759,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1016\/j.tcs.2005.09.058","type":"journal-article","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T18:12:38Z","timestamp":1130177558000},"page":"74-81","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"title":["Implementing exact real arithmetic in python, C<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"><mml:mo>++<\/mml:mo><\/mml:math> and C"],"prefix":"10.1016","volume":"351","author":[{"given":"Keith","family":"Briggs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2005.09.058_bib1","unstructured":"P. Andersson, Exact real computer arithmetic with automatic estimates in a computer algebra system, Department of Mathematics, Uppsala University, U.U.D.M. Report 2001:P5, 2001, <http:\/\/www.math.uu.se\/research\/pub\/FPaAndersson1.pdf>."},{"key":"10.1016\/j.tcs.2005.09.058_bib2","doi-asserted-by":"crossref","unstructured":"H.-J. Boehm, R. Cartwright, M. Riggle, M. O\u2019Donnell, Exact real arithmetic: a case study in higher order programming, in: ACM Symp. on Lisp and Functional Programming, 1986, pp. 162\u2013173, <http:\/\/dev.acm.org\/pubs\/citations\/proceedings\/lfp\/319838\/p162-boehm\/>.","DOI":"10.1145\/319838.319860"},{"key":"10.1016\/j.tcs.2005.09.058_bib3","unstructured":"A.J. Brentjes, Multi-dimensional continued fraction algorithms, Mathematical Centre Tracts, Vol. 145, Mathematisch Centrum Amsterdam, 1981, MR 83b:10038."},{"key":"10.1016\/j.tcs.2005.09.058_bib4","unstructured":"K.M. Briggs, XR homepage, <http:\/\/members.lycos.co.uk\/keithmbriggs\/XR.html>, 2002."},{"key":"10.1016\/j.tcs.2005.09.058_bib5","unstructured":"K.M. Briggs, xrc homepage, <http:\/\/keithbriggs.info\/xrc.html>, 2003."},{"key":"10.1016\/j.tcs.2005.09.058_bib6","doi-asserted-by":"crossref","unstructured":"H. Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, Vol. 138, Springer, Berlin, 1993.","DOI":"10.1007\/978-3-662-02945-9"},{"key":"10.1016\/j.tcs.2005.09.058_bib7","unstructured":"M. Escard\u00f3, Introduction to exact numerical computation, http:\/\/www.cs.bham.ac.uk\/\u223cmhe\/issac\/>, notes for a tutorial at ISSAC, 2000."},{"key":"10.1016\/j.tcs.2005.09.058_bib8","unstructured":"J.-C. Filli\u00e2tre, CREAL, <http:\/\/www.lri.fr\/\u223cfilliatr\/software.en.html>, 2004."},{"key":"10.1016\/j.tcs.2005.09.058_bib9","unstructured":"W. Gosper, Continued fractions, <http:\/\/www.inwap.com\/pdp10\/hbaker\/hakmem\/cf.html>, 1972."},{"key":"10.1016\/j.tcs.2005.09.058_bib10","unstructured":"T. Granlund, The GNU MP homepage, <http:\/\/www.swox.com\/gmp\/>, 2002."},{"key":"10.1016\/j.tcs.2005.09.058_bib11","doi-asserted-by":"crossref","unstructured":"J. Harrison, Theorem proving with the real numbers, Ph.D. Thesis, University of Cambridge, Computer Laboratory, 1998.","DOI":"10.1007\/978-1-4471-1591-5"},{"key":"10.1016\/j.tcs.2005.09.058_bib12","unstructured":"D. Lester, Era.hs: a tolerably efficient and possibly correct implementation of the computable reals using Haskell 1.2, <http:\/\/www.cs.man.ac.uk\/arch\/dlester\/exact.html>, 2001."},{"key":"10.1016\/j.tcs.2005.09.058_bib13","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1006\/jnth.1998.2274","article-title":"Algebraic computations with continued fractions","volume":"73","author":"Liardet","year":"1998","journal-title":"J. Number Theory"},{"key":"10.1016\/j.tcs.2005.09.058_bib14","doi-asserted-by":"crossref","unstructured":"B. McNamara, Y. Smaragdakis, Functional programming in C++, ACM SIGPLAN Notices 35 (9) (2000) 118\u2013129, <http:\/\/www.acm.org\/pubs\/citations\/proceedings\/fp\/351240\/p118-mcnamara\/p118-mcnamara.pdf>.","DOI":"10.1145\/357766.351251"},{"key":"10.1016\/j.tcs.2005.09.058_bib15","unstructured":"B. McNamara, Y. Smaragdakis, Fc++, <http:\/\/www.cc.gatech.edu\/\u223cyannis\/fc++\/>, 2003."},{"key":"10.1016\/j.tcs.2005.09.058_bib16","unstructured":"V. M\u00e9nissier-Morain, Arithm\u00e9tique exacte: conception, algorithmique et performances d\u2019une impl\u00e9mentation informatique en pr\u00e9cision arbitraire, Ph.D. Thesis, Universit\u00e9 de Paris VII, <http:\/\/calfor.lip6.fr\/\u223cvmm\/>, 1994."},{"key":"10.1016\/j.tcs.2005.09.058_bib17","unstructured":"N. M\u00fcller, iRRAM\u2014exact arithmetic in C++, <http:\/\/www.informatik.uni-trier.de\/iRRAM\/>, 2004."},{"key":"10.1016\/j.tcs.2005.09.058_bib18","unstructured":"P. Potts, Exact real arithmetic using M\u00f6bius transformations, Ph.D. Thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, see also <http:\/\/www.doc.ic.ac.uk\/\u223cae\/papers.html>, 1999."},{"key":"10.1016\/j.tcs.2005.09.058_bib19","unstructured":"V. Shoup, NTL: a library for doing number theory, version 5.3.1, <http:\/\/www.shoup.net\/ntl\/>, 2002."},{"key":"10.1016\/j.tcs.2005.09.058_bib20","unstructured":"G. van Rossum, Python language website, <http:\/\/www.python.org>, 2002."},{"key":"10.1016\/j.tcs.2005.09.058_bib21","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1109\/12.57047","article-title":"Exact real computer arithmetic with continued fractions","volume":"39","author":"Vuillemin","year":"1990","journal-title":"IEEE Trans. Comput."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397505006080?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397505006080?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T01:59:41Z","timestamp":1660269581000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397505006080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["S0304397505006080"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2005.09.058","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2006,2]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Implementing exact real arithmetic in python, C and C","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2005.09.058","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2005 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}