{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:33:22Z","timestamp":1725514402493},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725039"},{"type":"electronic","value":"9783540725046"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72504-6_40","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T07:36:39Z","timestamp":1185089799000},"page":"440-449","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Exact Arithmetic over Constructive Reals"],"prefix":"10.1007","author":[{"given":"Yong","family":"Li","sequence":"first","affiliation":[]},{"given":"Jun-Hai","family":"Yong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-45699-6_5","volume-title":"Applied Semantics","author":"A. Edalat","year":"2002","unstructured":"Edalat, A., Heckmann, R.: Computing with real numbers (i) LFT approach to real computation (ii) Domain-theoretic model of computational geometry. In: Barthe, G., et al. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 193\u2013267. Springer, Heidelberg (2002)"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.jlap.2004.07.004","volume":"64","author":"J. Blanck","year":"2005","unstructured":"Blanck, J.: Efficient exact computation of iterated maps. The Journal of Logic and Algebraic Programming\u00a064, 41\u201359 (2005)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.jlap.2004.07.003","volume":"64","author":"V. M\u00e9nissier-Morain","year":"2005","unstructured":"M\u00e9nissier-Morain, V.: Arbitrary precision real arithmetic: design and algorithms. The Journal of Logic and Algebraic Programming\u00a064, 13\u201319 (2005)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"40_CR4","unstructured":"Gosper, W.: Continued fraction arithmetics. Technical Report HAKMEM Item 101B, Artificial Intelligence Memo 239, MIT (1972)"},{"key":"40_CR5","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1109\/12.57047","volume":"39","author":"J. Vuillemin","year":"1990","unstructured":"Vuillemin, J.: Exact real computer arithmetic with continued fractions. IEEE Transactions on Computers\u00a039, 1087\u20131105 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"40_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Boehm, H.-J., et al.: Exact real arithmetic: A case study in higher order programming. In: Proceedings of the 1986 Lisp and Functional Programming Conference, pp. 162\u2013173 (1986)","DOI":"10.1145\/319838.319860"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Lee, V.: Optimizing Programs over the Constructive Reals. PhD thesis, Rice University (1991)","DOI":"10.1145\/93542.93558"},{"key":"40_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.07.002","volume":"64","author":"H.-J. Boehm","year":"2005","unstructured":"Boehm, H.-J.: The constructive reals as a Java library. The Journal of Logic and Algebraic Programming\u00a064, 3\u201311 (2005)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"40_CR10","unstructured":"Gowland, P., Lester, D.: The correctness of an implementation of exact arithmetic. In: Proceedings of the Fourth Conference on Real Numbers and Computers (2000)"},{"key":"40_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0304-3975(02)00226-8","volume":"291","author":"D. Lester","year":"2003","unstructured":"Lester, D., Gowland, P.: Using PVS to validate the algorithms of an exact arithmetic. Theoretical Computer Science\u00a0291, 203\u2013218 (2003)","journal-title":"Theoretical Computer Science"},{"key":"40_CR12","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.tcs.2005.09.058","volume":"351","author":"K. Briggs","year":"2006","unstructured":"Briggs, K.: Implementing exact real arithmetic in python, C++ and C. Theoretical Computer Science\u00a0351, 74\u201381 (2006)","journal-title":"Theoretical Computer Science"},{"key":"40_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-45335-0_3","volume-title":"Computability and Complexity in Analysis","author":"P. Gowland","year":"2001","unstructured":"Gowland, P., Lester, D.: A Survey of Exact Arithmetic Implementations. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol.\u00a02064, pp. 30\u201347. Springer, Heidelberg (2001)"},{"key":"40_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/3-540-45335-0_24","volume-title":"Computability and Complexity in Analysis","author":"J. Blanck","year":"2001","unstructured":"Blanck, J.: Exact real arithmetic systems:Results of competition. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol.\u00a02064, p. 389. Springer, Heidelberg (2001)"},{"key":"40_CR15","doi-asserted-by":"crossref","unstructured":"Edalat, A., Potts, P.J.: A new representation for exact real numbers. In: MFPS XIII, Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference. Electronic Notes in Theoretical Computer Science, vol.\u00a06, pp. 119\u2013132 (1997)","DOI":"10.1016\/S1571-0661(05)80166-5"},{"key":"40_CR16","unstructured":"Potts, P.J.: Exact real arithmetic using M\u00f6bius transformations. PhD thesis, Imperial College (1999)"},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"Lambov, B.: RealLib:An Efficient Implementation of Exact Real Arithmetic (2006), http:\/\/www.bric.dk\/~barnie\/RealLib\/","DOI":"10.1017\/S0960129506005822"},{"key":"40_CR18","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2005.09.060","volume":"351","author":"J. Hoeven van der","year":"2006","unstructured":"van der Hoeven, J.: Computations with effective real numbers. Theoretical Computer Science\u00a0351, 52\u201360 (2006)","journal-title":"Theoretical Computer Science"},{"key":"40_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-45335-0_14","volume-title":"Computability and Complexity in Analysis","author":"N.T. M\u00fcller","year":"2001","unstructured":"M\u00fcller, N.T.: The iRRAM: Exact Arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol.\u00a02064, pp. 222\u2013252. Springer, Heidelberg (2001)"},{"key":"40_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"An Introduction to Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: An Introduction to Computable Analysis. Springer, Heidelberg (2000)"},{"key":"40_CR21","unstructured":"Briggs, K.: xrc homepage (2005), http:\/\/keithbriggs.info\/xrc.html"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72504-6_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T03:29:10Z","timestamp":1629430150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72504-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540725039","9783540725046"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72504-6_40","relation":{},"subject":[]}}