{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:35:36Z","timestamp":1725525336544},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002014"},{"type":"electronic","value":"9783642002021"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00202-1_2","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T07:34:01Z","timestamp":1234251241000},"page":"15-31","source":"Crossref","is-referenced-by-count":2,"title":["Foundations of Exact Rounding"],"prefix":"10.1007","author":[{"given":"Chee K.","family":"Yap","sequence":"first","affiliation":[]},{"given":"Jihun","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/321941.321944","volume":"23","author":"R.P. Brent","year":"1976","unstructured":"Brent, R.P.: Fast multiple-precision evaluation of elementary functions. J. of the ACM\u00a023, 242\u2013251 (1976)","journal-title":"J. of the ACM"},{"issue":"1-2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0166-218X(00)00231-6","volume":"109","author":"H. Br\u00f6nnimann","year":"2001","unstructured":"Br\u00f6nnimann, H., Burnikel, C., Pion, S.: Interval arithmetic yields efficient dynamic filters for computational geometry. Discrete Applied Mathematics\u00a0109(1-2), 25\u201347 (2001)","journal-title":"Discrete Applied Mathematics"},{"issue":"1-4","key":"2_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1023\/B:NUMA.0000049482.38935.0b","volume":"37","author":"D. Defour","year":"2004","unstructured":"Defour, D., Hanrot, G., Lef\u00e8vre, V., Muller, J.-M., Revol, N., Zimmermann, P.: Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Numerical Algorithms\u00a037(1-4), 367\u2013375 (2004)","journal-title":"Numerical Algorithms"},{"key":"2_CR4","unstructured":"Du, Z.: Guaranteed Precision for Transcendental and Algebraic Computation made Easy. Ph.D. thesis, New York University, Department of Computer Science, Courant Institute (May 2006), http:\/\/cs.nyu.edu\/exact\/doc\/"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Du, Z., Eleftheriou, M., Moreira, J., Yap, C.: Hypergeometric functions in exact geometric computation. In: Brattka, V., Schoeder, M., Weihrauch, K. (eds.) Proc. 5th Workshop on Computability and Complexity in Analysis, Malaga, Spain, July 12\u201313. Electronic Notes in Theoretical Computer Science, vol.\u00a066(1), pp. 55\u201366 (2002), http:\/\/www.elsevier.nl\/locate\/entcs\/volume66.html","DOI":"10.1016\/S1571-0661(04)80378-5"},{"key":"2_CR6","unstructured":"Du, Z., Yap, C.: Uniform complexity of approximating hypergeometric functions with absolute error. In: Pae, S., Park, H. (eds.) Proc. 7th Asian Symp. on Computer Math. (ASCM 2005), pp. 246\u2013249 (2006)"},{"key":"2_CR7","series-title":"Encyclopaedia of Mathematical Sciences","volume-title":"Number Theory IV: Transcendental Numbers","author":"N. Fel\u2019dman","year":"1998","unstructured":"Fel\u2019dman, N., Nesterenko, Y.V.: Number Theory IV: Transcendental Numbers. Encyclopaedia of Mathematical Sciences, vol.\u00a044. Springer, Berlin (1998); translated from Russian by N. Koblitz"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1236463.1236468","volume":"33","author":"L. Fousse","year":"2007","unstructured":"Fousse, L., Hanrot, G., Lef\u00e9vre, V., P\u00e9lissier, P., Zimmermann, P.: Mpfr: A multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw.\u00a033(2), 13 (2007)","journal-title":"ACM Trans. Math. Softw."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/103147.103151","volume":"17","author":"S. Gal","year":"1991","unstructured":"Gal, S., Bachelis, B.: An accurate elementary mathematical library for the IEEE floating point standard. ACM Trans. on Math. Software\u00a017(1), 26\u201345 (1991)","journal-title":"ACM Trans. on Math. Software"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D. Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys\u00a023(1), 5\u201348 (1991)","journal-title":"ACM Computing Surveys"},{"key":"2_CR11","unstructured":"IEEE. ANSI\/IEEE Standard 754-1985 for binary floating-point arithmetic, The Institute of Electrical and Electronic Engineers Inc., New York (1985)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ko, K.-I.: Complexity Theory of Real Functions. Progress in Theoretical Computer Science. Birkh\u00e4user, Boston (1991)","DOI":"10.1007\/978-1-4684-6802-1"},{"issue":"11","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/12.736435","volume":"47","author":"V. Lef\u00e9vre","year":"1998","unstructured":"Lef\u00e9vre, V., Muller, J.-M., Tisserand, A.: Towards correctly rounded transcendentals. IEEE Trans. Computers\u00a047(11), 1235\u20131243 (1998)","journal-title":"IEEE Trans. Computers"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-85521-7_7","volume-title":"Reliable Implementation of Real Number Algorithms: Theory and Practice","author":"V. Lef\u00e8vre","year":"2008","unstructured":"Lef\u00e8vre, V., Stehl\u00e9, D., Zimmermann, P.: Worst cases for the exponential function in the IEEE 754r decimal64 format. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Real Number Algorithms. LNCS, vol.\u00a05045, pp. 114\u2013126. Springer, Heidelberg (2008)"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.jlap.2004.07.006","volume":"64","author":"C. Li","year":"2004","unstructured":"Li, C., Pion, S., Yap, C.: Recent progress in Exact Geometric Computation. J. of Logic and Algebraic Programming\u00a064(1), 85\u2013111 (2004); special issue on \u201cPractical Development of Exact Real Number Computation\u201d","journal-title":"J. of Logic and Algebraic Programming"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Muller, J.-M.: Elementary Functions: Algorithms and Implementation. Birkh\u00e4user, Boston (1997)","DOI":"10.1007\/978-1-4757-2646-6"},{"key":"2_CR17","first-page":"23","volume":"2","author":"Y. Nesterenko","year":"1996","unstructured":"Nesterenko, Y., Waldschmidt, M.: On the approximation of the values of exponential function and logarithm by algebraic numbers. Mat. Zapiski\u00a02, 23\u201342 (1996); Diophantine Approximations, Proc. of papers dedicated to the memory of Prof. N.I. Feldman, Moscow, http:\/\/arxiv.org\/abs\/math.NT\/0002047","journal-title":"Mat. Zapiski"},{"key":"2_CR18","unstructured":"I. S. O. ISO\/IEC 10967-2-2001 for Language Independne Arithmetic: Elementary Numerical Functions. International Standards Organisation, Geneva, Switzerland (2001)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1006\/jsco.1997.0157","volume":"24","author":"D. Richardson","year":"1997","unstructured":"Richardson, D.: How to recognize zero. J. of Symbolic Computation\u00a024, 627\u2013645 (1997)","journal-title":"J. of Symbolic Computation"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1007\/11561071_77","volume-title":"Algorithms \u2013 ESA 2005","author":"V. Sharma","year":"2005","unstructured":"Sharma, V., Du, Z., Yap, C.: Robust approximate zeros. In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol.\u00a03669, pp. 874\u2013887. Springer, Heidelberg (2005)"},{"key":"2_CR21","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"C.K. Yap","year":"2000","unstructured":"Yap, C.K.: Fundamental Problems of Algorithmic Algebra. Oxford University Press, Oxford (2000)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1142\/9789812794833_0012","volume-title":"Geometric Computation","author":"C.K. Yap","year":"2004","unstructured":"Yap, C.K.: On guaranteed accuracy computation. In: Chen, F., Wang, D. (eds.) Geometric Computation, ch.\u00a012, pp. 322\u2013373. World Scientific Publishing Co., Singapore (2004)"},{"key":"2_CR23","first-page":"927","volume-title":"Handbook of Discrete and Computational Geometry","author":"C.K. Yap","year":"2004","unstructured":"Yap, C.K.: Robust geometric computation. In: Goodman, J.E., O\u2019Rourke, J. (eds.) Handbook of Discrete and Computational Geometry, 2nd edn., ch.\u00a041, pp. 927\u2013952. Chapman & Hall\/CRC, Boca Raton (2004)","edition":"2"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-85521-7_12","volume-title":"Reliable Implementation of Real Number Algorithms: Theory and Practice","author":"C.K. Yap","year":"2008","unstructured":"Yap, C.K.: Theory of real computation according to EGC. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Real Number Algorithms. LNCS, vol.\u00a05045, pp. 193\u2013237. Springer, Heidelberg (2008)"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/114697.116813","volume":"17","author":"A. Ziv","year":"1991","unstructured":"Ziv, A.: Fast evaluation of elementary mathematical functions with correctly rounded last bit. ACM Trans. on Math. Software\u00a017(3), 410\u2013423 (1991)","journal-title":"ACM Trans. on Math. Software"}],"container-title":["Lecture Notes in Computer Science","WALCOM: Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00202-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T23:10:31Z","timestamp":1684883431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00202-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002014","9783642002021"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00202-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}