{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T07:44:15Z","timestamp":1762674255770,"version":"3.37.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_30","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"255-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Numerical Integration in Arbitrary-Precision Ball Arithmetic"],"prefix":"10.1007","author":[{"given":"Fredrik","family":"Johansson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"issue":"7","key":"30_CR1","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1016\/j.jsc.2010.08.010","volume":"46","author":"DH Bailey","year":"2011","unstructured":"Bailey, D.H., Borwein, J.M.: High-precision numerical integration: progress and challenges. J. Symbolic Comput. 46(7), 741\u2013754 (2011)","journal-title":"J. Symbolic Comput."},{"issue":"2","key":"30_CR2","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1093\/comjnl\/14.2.189","volume":"14","author":"R Cranley","year":"1971","unstructured":"Cranley, R., Patterson, T.N.L.: On the automatic numerical evaluation of definite integrals. Comput. J. 14(2), 189\u2013198 (1971)","journal-title":"Comput. J."},{"key":"30_CR3","unstructured":"Hale, N.: Spike integral (2010). \nhttp:\/\/www.chebfun.org\/examples\/quad\/SpikeIntegral.html"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1109\/TC.2017.2690633","volume":"66","author":"F Johansson","year":"2017","unstructured":"Johansson, F.: Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Trans. Comput. 66, 1281\u20131292 (2017)","journal-title":"IEEE Trans. Comput."},{"key":"30_CR5","unstructured":"Johansson, F.: mpmath version 1.0 (2017). \nhttp:\/\/mpmath.org\/"},{"key":"30_CR6","unstructured":"Johansson, F., Mezzarobba, M.: Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights (2018). \narXiv:1802.03948"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-319-43144-4_17","volume-title":"Interactive Theorem Proving","author":"A Mahboubi","year":"2016","unstructured":"Mahboubi, A., Melquiond, G., Sibut-Pinote, T.: Formally verified approximations of definite integrals. In: Blanchette, J.C., Merz, S. (eds.) ITP 2016. LNCS, vol. 9807, pp. 274\u2013289. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-43144-4_17"},{"issue":"2","key":"30_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0377-0427(01)00586-6","volume":"145","author":"K Petras","year":"2002","unstructured":"Petras, K.: Self-validating integration and approximation of piecewise analytic functions. J. Comp. Appl. Math. 145(2), 345\u2013359 (2002)","journal-title":"J. Comp. Appl. Math."},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287\u2013449 (2010)","journal-title":"Acta Numerica"},{"key":"30_CR10","unstructured":"The Pari group. Pari\/GP version 2.9.4 (2017). \nhttp:\/\/pari.math.u-bordeaux.fr\/"},{"key":"30_CR11","unstructured":"The SageMath developers. SageMath version 8.2 (2018). \nhttp:\/\/sagemath.org\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T07:11:41Z","timestamp":1531465901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}