{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:51Z","timestamp":1761597051787},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421979"},{"type":"electronic","value":"9783540453352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45335-0_3","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T12:49:27Z","timestamp":1195044567000},"page":"30-47","source":"Crossref","is-referenced-by-count":18,"title":["A Survey of Exact Arithmetic Implementations"],"prefix":"10.1007","author":[{"given":"Paul","family":"Gowland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lester","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"3_CR1","series-title":"Grundlehren der mathematischen Wissenschaften","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Errett Bishop and Douglas S. Bridges. Constructive Analysis, volume 279 of Grundlehren der mathematischen Wissenschaften. Springer, Berlin, 1985."},{"key":"3_CR2","unstructured":"H. Boehm and R. Cartwright. Exact real arithmetic: Formulating real numbers as functions. In D.A. Turner, editor, Research Topics in Functional Programming, University of Texas at Austin Year of Programming, pages 43\u201364. Addison-Wesley, 1990."},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1009962521566","volume":"3","author":"D. Berthelot","year":"1997","unstructured":"D. Berthelot and M. Daumas. Computing on sequences of embedded intervals. Reliable Computing, 3(3):219\u2013227, 1997.","journal-title":"Reliable Computing"},{"key":"3_CR4","first-page":"75","volume-title":"Fourth Conference on Real Numbers and Computers","author":"J.-C. Bajard","year":"2000","unstructured":"J.-C. Bajard, M.D. Ercegovac, L. Imbert, and F. Rico. Fast evaluation of elementary functions with combined shift-and-add polynomial methods. In Fourth Conference on Real Numbers and Computers, pages 75\u201387, Schloss Dagstuhl, Saarland, Germany, April 2000."},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1006\/jcom.1998.0488","volume":"14","author":"V. Brattka","year":"1998","unstructured":"Vasco Brattka and Peter Hertling. Feasible real random access machines. Journal of Complexity, 14(4):490\u2013526, 1998.","journal-title":"Journal of Complexity"},{"key":"3_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45335-0","volume-title":"Computability and Complexity in Analysis 2000","author":"J. Blanck","year":"2001","unstructured":"J. Blanck. Exact real arithmetic systems: results of competion. In Jens Blanck, Vasco Brattka, and Peter Hertling, editors, Computability and Complexity in Analysis 2000, Berlin, 2001. Springer."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/321941.321944","volume":"23","author":"R.P. Brent","year":"1976","unstructured":"R.P. Brent. Fast multiple precision evaluation of elementary functions. Journal of the ACM, 23:242\u2013251, 1976.","journal-title":"Journal of the ACM"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R.P. Brent","year":"1978","unstructured":"R.P. Brent. A Fortran multiple precision package. ACM Transactions on Mathematical Software, 4:57\u201370, 1978.","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1137\/0215026","volume":"15","author":"L. Blum","year":"1986","unstructured":"L. Blum and M. Shub. Evaluating rational functions: Inite precision is finite cost and tractable on average. SIAM Jounal of Computing, 15(2):384\u2013398, 1986.","journal-title":"SIAM Jounal of Computing"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"L. Blum, M. Shub, and S. Smale. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin of the American Mathematical Society, 21(1), July 1989.","DOI":"10.1090\/S0273-0979-1989-15750-9"},{"key":"3_CR11","unstructured":"A. Cuyt, P. Kuterna, P.B. Verdonk, and J. Vervloet. The class library for exact rational arithmetic in ARI\u229dMO\u03a3. In Proceedings of the Fourth Real Numbers and Computers, pages 141\u2013160, 2000."},{"key":"3_CR12","first-page":"14","volume":"6","author":"A. Edalat","year":"1997","unstructured":"Abbas Edalat and Peter John Potts. A new representation for exact real numbers. Electronical Notes in Theoretical Computer Science, 6:14 pp., 1997. Mathematical foundations of programming semantics (Pittsburgh, PA, 1997).","journal-title":"Electronical Notes in Theoretical Computer Science"},{"key":"3_CR13","first-page":"123","volume":"3","author":"C.F. Gauss","year":"1812","unstructured":"C.F. Gauss. Disquisitiones generales circa seriem infinitam \n                    \n                      \n                    \n                    $$\n1 + \\frac{{\\alpha \\beta }}\n{{1.\\gamma }}x + \\frac{{\\alpha (\\alpha  + 1)\\beta (\\beta  + 1)}}\n{{1.2.\\gamma (\\gamma  + 1)}}xx + \\frac{{\\alpha (\\alpha  + 1)(\\alpha  + 2)\\beta (\\beta  + 1)(\\beta  + 2)}}\n{{1.2.3.\\gamma (\\gamma  + 1)(\\gamma  + 2)}}x^3 \n$$\n                  \n etc. pars prior. In Werke, volume 3, pages 123\u2013162. K\u00f6niglichen Gesellschaft der Wissenschaften, G\u00f6ttingen, 1812.","journal-title":"Werke"},{"key":"3_CR14","unstructured":"P. Gowland and D. Lester. The correctness of an implementation of exact arithmetic. In Proceedings of the Fourth Real Numbers and Computers Conference, pages 125\u2013140, 2000."},{"key":"3_CR15","unstructured":"R.W. Gosper. Continued fraction arithmetic. HAKMEM 101b, MIT, 1972."},{"key":"3_CR16","unstructured":"R.W. Gosper. Continued fraction arithmetic. Unpublished Draft Paper, 1977."},{"key":"3_CR17","first-page":"168","volume":"42","author":"A. Grzegorczyk","year":"1955","unstructured":"Andrzej Grzegorczyk. Computable functionals. FundamentaMathematicae, 42:168\u2013202, 1955.","journal-title":"FundamentaMathematicae"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","volume":"44","author":"A. Grzegorczyk","year":"1957","unstructured":"Andrzej Grzegorczyk. On the definitions of computable real continuous functions. Fundamenta Mathematicae, 44:61\u201371, 1957.","journal-title":"Fundamenta Mathematicae"},{"key":"3_CR19","first-page":"43","volume-title":"Constructivity in mathematics, Studies in Logic and The Foundations of Mathematics","author":"Grz59. Grzegorczyk","year":"1957","unstructured":"Grz59.Andrzej Grzegorczyk. Some approaches to constructive analysis. In A. Heyting, editor, Constructivity in mathematics, Studies in Logic and The Foundations of Mathematics, pages 43\u201361, Amsterdam, 1959. North-Holland. Colloquium at Amsterdam, 1957."},{"key":"3_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-1591-5","volume-title":"Theorem Proving with the Real Numbers","author":"J. Harrison","year":"1998","unstructured":"J. Harrison. Theorem Proving with the Real Numbers. Springer-Verlag, London, 1998."},{"key":"3_CR21","unstructured":"T.E. Hull. The use of controlled precision. The Relationship Between Numerical Computation and Programming Languages, pages 71\u201384, 1982."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF02612324","volume":"11","author":"A. Hurwitz","year":"1888","unstructured":"A. Hurwitz. \u00dcber die Entwicklung Komplexer Gr\u00f6ssen in Kettenbr\u00fcche. Acta Mathematica, 11:187\u2013200, 1888.","journal-title":"Acta Mathematica"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF02592188","volume":"12","author":"A. Hurwitz","year":"1889","unstructured":"A. Hurwitz. \u00dcber eine besondere Art der Kettenbruch-Entwicklung reeller Gr\u00f6ssen. Acta Mathematica, 12:367\u2013405, 1889.","journal-title":"Acta Mathematica"},{"key":"3_CR24","unstructured":"IEEE, New York. IEEE Standard for Binary Floating-point Arithmetic, IEEE Standard 754-1985, 1985."},{"key":"3_CR25","unstructured":"IEEE, New York. IEEE Standard for Radix and Format Independent Floating-point Arithmetic, IEEE Standard 854-1994, 1994."},{"issue":"3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/0743-7315(88)90023-8","volume":"5","author":"P. Kornerup","year":"1988","unstructured":"P. Kornerup and D.W. Matula. An on-line arithmetic unit for bit pipelined rational arithmetic. Journal of Parallel and Distributed Computing, 5(3):310\u2013330, 1988.","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"8","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1106","DOI":"10.1109\/12.57048","volume":"39","author":"P. Kornerup","year":"1990","unstructured":"P. Kornerup and D.W. Matula. An algorithm for redundant binary bit-pipelined rational arithmetic. IEEE Transactions on Computers, 39(8):1106\u20131115, 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(86)90154-4","volume":"47","author":"Ko86.-I. Ko","year":"1986","unstructured":"Ko86.Ker-I Ko. On the continued fraction representation of computable real numbers. Theoretical Computer Science, 47:299\u2013313, 1986. corr. ibid., Vol. 54 (1987), Pages 341-343.","journal-title":"Theoretical Computer Science"},{"key":"3_CR29","series-title":"Progress in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real Functions","author":"K.-I. Ko","year":"1991","unstructured":"Ker-I Ko. Complexity Theory of Real Functions. Progress in Theoretical Computer Science. Birkh\u00e4user, Boston, 1991."},{"issue":"7","key":"3_CR30","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1109\/12.709374","volume":"47","author":"W. Kr\u00e4mer","year":"1998","unstructured":"W. Kr\u00e4mer. A priori worst case error bounds for floating-point computations. IEEE Transactions on Computers, 47(7):750\u2013756, 1998.","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR31","first-page":"2478","volume":"240","author":"D. Lacombe","year":"1955","unstructured":"Daniel Lacombe. Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r*#x2019;elles I. Comptes Rendus Acad\u00e4mie des Sciences Paris, 240:2478\u20132480, June 1955. Th\u00e4orie des fonctions.","journal-title":"Comptes Rendus Acad\u00e4mie des Sciences Paris"},{"key":"3_CR32","first-page":"13","volume":"241","author":"D. Lacombe","year":"1955","unstructured":"Daniel Lacombe. Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles II. Comptes Rendus Acad_emie des Sciences Paris, 241:13\u201314, July 1955. Th\u00e9orie des fonctions.","journal-title":"Comptes Rendus Acad_emie des Sciences Paris"},{"key":"3_CR33","first-page":"151","volume":"241","author":"D. Lacombe","year":"1955","unstructured":"Daniel Lacombe. Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles III. Comptes Rendus Acad\u00e9mie des Sciences Paris, 241:151\u2013153, July 1955. Th\u00e9orie des fonctions.","journal-title":"Comptes Rendus Acad\u00e9mie des Sciences Paris"},{"key":"3_CR34","unstructured":"Daniel Lacombe. Sur les possibilites d\u2019extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles. In Le raisonnement en mathematiques et en sciences, pages 67\u201375, Paris, 1958. Editions du Centre National de la Recherche Scientifique. Colloques Internationaux du Centre National de la Recherche Scientifique, LXX."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"V.A. Lee, Jr and H.J. Boehm. Optimizing programs over the constructive reals. In Proceedings of The ACM SIGPLAN\u2019 90 Conference on Programming Language, Design and Implementation, pages 102\u2013111, 1990.","DOI":"10.1145\/93542.93558"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"D. Lester. Effective continued fractions. In Proceedings of the Fifteenth IEEE Arithmetic Conference, June 2001.","DOI":"10.1109\/ARITH.2001.930116"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(90)90052-4","volume":"50","author":"S. Labhalla","year":"1990","unstructured":"Salah Labhalla and Henri Lombardi. Real numbers, continued fractions, and complexity classes. Annals of Pure and Applied Logic, 50:1\u201328, 1990.","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR38","first-page":"226","volume":"9","author":"A.A. Markov","year":"1954","unstructured":"A.A. Markov. On the continuity of constructive functions (Russian). Uspekhi Mat. Nauk (N.S.), 9:226\u2013230, 1954.","journal-title":"Uspekhi Mat. Nauk (N.S.)"},{"key":"3_CR39","series-title":"PhD thesis","volume-title":"Arithm\u00e9tique Exacte","author":"M.M.9.4.V. M\u00e9nissier-Morain","year":"1994","unstructured":"MM94.V. M\u00e9nissier-Morain. Arithm\u00e9tique Exacte. PhD thesis, L\u2019Universit\u00e9 Paris VII, December 1994."},{"key":"3_CR40","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4064\/fm-44-1-37-51","volume":"44","author":"A. Mostowski","year":"1957","unstructured":"A. Mostowski. On computable sequences. Fundamenta Mathematicae, 44:37\u201351, 1957.","journal-title":"Fundamenta Mathematicae"},{"key":"3_CR41","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/3-540-16761-7_78","volume-title":"Proceedings of the 13th International Colloquium on Automata, Languages, and Programming","author":"N. Th. M\u00fcller","year":"1986","unstructured":"Norbert Th. M\u00fcller. Subpolynomial complexity classes of real functions and real numbers. In Laurent Kott, editor, Proceedings of the 13th International Colloquium on Automata, Languages, and Programming, volume 226 of Lecture Notes in Computer Science, pages 284\u2013293, Berlin, 1986. Springer."},{"key":"3_CR42","first-page":"59","volume-title":"Implementing limits in an interactive RealRAM","author":"N. Th. M\u00fcller","year":"1998","unstructured":"Norbert Th. M\u00fcller. Implementing limits in an interactive RealRAM. In J.-M. Chesneaux, F. J\u00e9z\u00e9quel, J.-L. Lamotte, and J. Vignes, editors, Third Real Numbers and Computers Conference, pages 59\u201366. Universit\u00e9 Pierre et Marie Curie, Paris, 1998. Paris, France, April 27-29, 1998."},{"key":"3_CR43","unstructured":"J. M. Muller. Some algebraic properties of floating-point arithmetic. In Proceedings of the Fourth Real Numbers and Computers, pages 31\u201338, 2000"},{"key":"3_CR44","unstructured":"Norbert Th. M\u00fcller.The iRRAM: Exact arithmetic in C++. In Jens Blanck, Vasco Brattka, Peter Hertling, and Klaus Weihrauch, editors, Computability and Complexity in Analysis, volume 272 of Informatik Berichte, pages 319\u2013350. FernUniversit\u00e4t Hagen, September 2000. CCA2000 Workshop, Swansea, Wales, September 17-19, 2000."},{"key":"3_CR45","doi-asserted-by":"publisher","first-page":"748","DOI":"10.2307\/2316264","volume":"79","author":"J. Myhill","year":"1972","unstructured":"J. Myhill. What is a real number? The American Mathematical Monthly, 79:748\u2013754, 1972.","journal-title":"The American Mathematical Monthly"},{"key":"3_CR46","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M. B. Pour-El","year":"1989","unstructured":"Marian B. Pour-El and J. Ian Richards. Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin, 1989."},{"issue":"7","key":"3_CR47","first-page":"560","volume":"1","author":"E.D. Popova","year":"1995","unstructured":"E.D. Popova. On a formally correct implementation of IEEE computer arithmetic. Journal of Universal Computer Science, 1(7):560\u2013569, 1995.","journal-title":"Journal of Universal Computer Science"},{"key":"3_CR48","series-title":"PhD thesis","volume-title":"Exact Real Arithmetic using M\u00f6bius Transformations","author":"P.J. Potts","year":"1999","unstructured":"P.J. Potts. Exact Real Arithmetic using M\u00f6bius Transformations. PhD thesis, Imperial College of Science, Technology and Medicine, London University, March 1999."},{"key":"3_CR49","doi-asserted-by":"publisher","first-page":"784","DOI":"10.2307\/2031867","volume":"5","author":"H. Rice","year":"1954","unstructured":"H. Rice. Recursive real numbers. Proc. Amer. Math. Soc., 5:784\u2013791, 1954.","journal-title":"Proc. Amer. Math. Soc."},{"key":"3_CR50","doi-asserted-by":"publisher","first-page":"280","DOI":"10.2307\/2267933","volume":"16","author":"R.M. Robinson","year":"1951","unstructured":"R.M. Robinson. Review of \u201cPeter, R., Rekursive Funktionen\u201d. The Journal of Symbolic Logic, 16:280\u2013282, 1951.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"3_CR51","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/108556.108585","volume":"17","author":"D.M. Smith","year":"1991","unstructured":"D.M. Smith. ALGORITHM 693, A FORTRAN package for floating-point multiple-precision arithmetic. ACM Transactions on Mathematical Software, 17(2):273\u2013283, 1991.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"3_CR52","first-page":"25","volume-title":"Proceedings of the 1988 ACM Conference on Lisp and Functional Programming","author":"J. Vuillemin","year":"1988","unstructured":"J. Vuillemin. Exact real computer arithmetic with continued fractions. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 14-27, Snowbird, Utah, 25\u201327 July 1988."},{"key":"3_CR53","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69965-8","volume-title":"Computability","author":"K. Weihrauch","year":"1987","unstructured":"Klaus Weihrauch. Computability, volume 9 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1987."},{"key":"3_CR54","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Klaus Weihrauch. Computable Analysis. Springer, Berlin, 2000."},{"key":"3_CR55","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0168-0072(87)90065-0","volume":"35","author":"K. Weihrauch","year":"1987","unstructured":"Klaus Weihrauch and Christoph Kreitz. Representations of the real numbers and of the open subsets of the set of real numbers. Annals of Pure and Applied Logic, 35:247\u2013260, 1987.","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR56","first-page":"89","volume-title":"Fourth Conference on Real Numbers and Computers","author":"P. Zimmermann","year":"2000","unstructured":"P. Zimmermann. MPFR: A library for multiprecision floating-point arithmetic with exact rounding. In Fourth Conference on Real Numbers and Computers, pages 89\u201390, Schloss Dagstuhl, Saarland, Germany, April 2000."}],"container-title":["Lecture Notes in Computer Science","Computability and Complexity in Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45335-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:49:54Z","timestamp":1551080994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}