{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:11:30Z","timestamp":1743131490269,"version":"3.40.3"},"publisher-location":"Cham","reference-count":6,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_19","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"224-228","source":"Crossref","is-referenced-by-count":1,"title":["Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval"],"prefix":"10.1007","author":[{"given":"Naoya","family":"Yamanaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomoaki","family":"Okayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin\u2019ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1587\/nolta.5.339","volume":"5","author":"SM Rump","year":"2014","unstructured":"Rump, S.M.: Verified sharp bounds for the real gamma function over the entire floating-point range. Nonlinear Theor. Appl. IEICE 5, 339\u2013348 (2014)","journal-title":"Nonlinear Theor. Appl. IEICE"},{"key":"19_CR2","unstructured":"Kashiwagi, M.: Verified algorithm for special functions (in Japanese). \n                      http:\/\/verifiedby.me\/kv\/special\/"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"721","DOI":"10.2977\/prims\/1195192451","volume":"9","author":"H Takahasi","year":"1974","unstructured":"Takahasi, H., Mori, M.: Double exponential formulas for numerical integration. Publ. RIMS Kyoto Univ. 9, 721\u2013741 (1974)","journal-title":"Publ. RIMS Kyoto Univ."},{"key":"19_CR4","first-page":"45","volume":"19","author":"T Okayama","year":"2013","unstructured":"Okayama, T.: Error estimates with explicit constants for Sinc quadrature and Sinc indefinite integration over infinite intervals. Reliable Comput. 19, 45\u201365 (2013)","journal-title":"Reliable Comput."},{"key":"19_CR5","unstructured":"kv Library. \n                      http:\/\/verifiedby.me\/kv\/"},{"key":"19_CR6","unstructured":"The GNU MPFR Library: \n                      http:\/\/www.mpfr.org\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:49:15Z","timestamp":1559422155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}