{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:38:08Z","timestamp":1743093488826,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662242"},{"type":"electronic","value":"9783540485230"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48523-6_7","type":"book-chapter","created":{"date-parts":[[2007,12,10]],"date-time":"2007-12-10T12:06:31Z","timestamp":1197288391000},"page":"90-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Numerical Integration with Exact Real Arithmetic"],"prefix":"10.1007","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"Krznari\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,18]]},"reference":[{"key":"7_CR1","unstructured":"Boehm, H.J., Cartwright, R.: Exact Real Arithmetic: Formulating Real Numbers as Functions. In Turner, D., editor, Research Topics in Functional Programming, Addison-Wesley (1990) 43\u201364."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Boehm, H.J., Cartwright, R., Riggle, M., O\u2019Donnell, M. J.: Exact Real Arithmetic: A Case Study in Higher Order Programming. ACM Symposium on Lisp and Functional Programming (1986).","DOI":"10.1145\/319838.319860"},{"key":"7_CR3","volume-title":"The Numerical Treatment of Differential Equations","author":"L. Collatz","year":"1966","unstructured":"Collatz, L.: The Numerical Treatment of Differential Equations. Springer-Verlag, Berlin Heidelberg New York Tokyo (1966)."},{"key":"7_CR4","volume-title":"Methods of Numerical Integration","author":"P.J. Davis","year":"1975","unstructured":"Davis, P.J., Rabinowitz, P.: Methods of Numerical Integration. Academic Press, London New York (1975)."},{"key":"7_CR5","unstructured":"Di Gianantonio, P.: A functional approach to real number computation. PhD Thesis, University of Pisa (1993)."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Edalat, A.: Domains for Computation in Mathemetics, Physics and Exact Real Arithmetic. Bulletin of Symbolic Logic, Vol. 3 (1997).","DOI":"10.2307\/421098"},{"key":"7_CR7","unstructured":"Edalat, A., Escard\u00f3, M.H.: Integration in Real PCF. Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS) (1996)."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Edalat, A., Potts, P.J.: A New Representation for Exact Real Numbers. Electronic Notes in Theoretical Computer Science, Proceedings of Mathematical Foundations of Programming Semantics 13 (1997).","DOI":"10.1016\/S1571-0661(05)80166-5"},{"key":"7_CR9","unstructured":"Edalat, A., Rico, F.: Two Algorithms for Root Finding in Exact Real Arithmetic. Third Real Numbers and Computers Conference (1998) 27\u201344."},{"key":"7_CR10","volume-title":"Numerical Quadrature and Cubature","author":"H. Engels","year":"1980","unstructured":"Engels, H.: Numerical Quadrature and Cubature. Academic Press, London New York (1980)."},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0304-3975(95)00250-2","volume":"162","author":"M.H. Escard\u00f3","year":"1996","unstructured":"Escard\u00f3, M.H.: PCF extended with real numbers. Theoretical Computer Science, 162(1):79\u2013115 (1996).","journal-title":"Theoretical Computer Science"},{"key":"7_CR12","unstructured":"Gosper, W.: Continued Fraction Arithmetic. HAKMEM Item 101B, MIT Artificial Intelligence Memo 239, MIT (1972)."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Heckmann, R.: How Many Argument Digits are Needed to Produce n Result Digits? To appear ENTCS (1999).","DOI":"10.1016\/S1571-0661(05)82523-X"},{"key":"7_CR14","unstructured":"Iserles, A.: A First Course in the Numerical Analysis of Differential Equations. Cambridge Texts in Applied Mathematics, Cambridge University Press (1996)."},{"key":"7_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025796","volume-title":"Numerical Integration on Advanced Computer Systems","author":"A.R. Krommer","year":"1994","unstructured":"Krommer, A.R., Ueberhuber, C. W.: Numerical Integration on Advanced Computer Systems. LNCS, Vol. 848, Springer-Verlag, Berlin Heidelberg New York Tokyo (1994)."},{"key":"7_CR16","volume-title":"Approximate Calculation of Integrals","author":"V. I. Krylov","year":"1962","unstructured":"Krylov, V. I.: Approximate Calculation of Integrals. Macmillan, New York London (1962)."},{"key":"7_CR17","unstructured":"M\u00e9nissier-Morain, V.: Arbitrary Precision Real Arithmetic: Design and Algorithms. Submitted to the Journal of Symbolic Computation (1996)."},{"key":"7_CR18","volume-title":"Applied Numerical Methods with Software","author":"S. Nakamura","year":"1991","unstructured":"Nakamura, S.: Applied Numerical Methods with Software. Prentice Hall, Englewood Cliffs, New Jersey (1991)."},{"issue":"7","key":"7_CR19","first-page":"523","volume":"1","author":"A. Nielsen","year":"1995","unstructured":"Nielsen, A., Kornerup P.: MSB-First Digit Serial Arithmetic. Journal of Univ. Comp. Science, 1(7):523\u2013543 (1995).","journal-title":"Journal of Univ. Comp. Science"},{"key":"7_CR20","unstructured":"Potts, P.J.: Exact Real Arithmetic Using M\u00f6bius Transformations. PhD Thesis, University of London, Imperial College (1998)."},{"key":"7_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/BFb0055795","volume-title":"Mathematical Foundations of Computer Science","author":"A.K. Simpson","year":"1998","unstructured":"Simpson, A.K.: Lazy Functional Algorithms for Exact Real Functionals. Mathematical Foundations of Computer Science, Springer LNCS 1450:456\u2013464 (1998)."},{"issue":"8","key":"7_CR22","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1109\/12.57047","volume":"39","author":"J. E. Vuillemin","year":"1990","unstructured":"Vuillemin, J. E.: Exact Real Computer Arithmetic with Continued Fractions. IEEE Transactions on Computers, 39(8):1087\u20131105 (1990).","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48523-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T03:04:42Z","timestamp":1642820682000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48523-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662242","9783540485230"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48523-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"18 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}