{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:28:14Z","timestamp":1775838494251,"version":"3.50.1"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1996,9]]},"DOI":"10.1007\/bf02391698","type":"journal-article","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T15:50:22Z","timestamp":1147362622000},"page":"241-253","source":"Crossref","is-referenced-by-count":8,"title":["Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals","\u0414\u0432\u0430 \u0430\u0434\u0430\u043f\u0442\u0438\u0432\u043d\u044b\u0445 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0442\u0438\u043f\u0430 \u0413\u0430\u0443\u0441\u0441\u0430-\u041b\u0435\u0436\u0430\u043d\u0434\u0440\u0430 \u0434\u043b\u044f \u0432\u0435\u0440\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043c\u043e\u0433\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u0438\u043d\u0442\u0435\u0433\u0440\u0430\u043b\u043e\u0432"],"prefix":"10.1007","volume":"2","author":[{"given":"W.","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Wedner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02391698_CR1","volume-title":"Scientific computing with automatic result verification","year":"1993","unstructured":"Adams, E. and Kulisch, U. (eds)Scientific computing with automatic result verification. Academic Press, San Diego, 1993."},{"key":"BF02391698_CR2","unstructured":"Brass, H.Quadraturverfahren. Vandenhoeck & Ruprecht in G\u00f6ttingen, 1977."},{"key":"BF02391698_CR3","first-page":"245","volume":"24","author":"W. Gautschi","year":"1970","unstructured":"Gautschi, W..On the construction of Gaussian quadrature rules from modified moments. Math. Comp.24 (1970), pp. 245\u2013260.","journal-title":"Math. Comp."},{"key":"BF02391698_CR4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0076-5392(08)62845-3","volume-title":"Scientific computing with automatic result verification","author":"R. Kelch","year":"1993","unstructured":"Kelch, R.Numerical quadrature by extrapolation with automatic result verification. In: [1], pp. 143\u2013185."},{"key":"BF02391698_CR5","doi-asserted-by":"crossref","unstructured":"Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, Ch.PASCAL-XSC\u2014language reference with examples. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-77277-1"},{"key":"BF02391698_CR6","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0076-5392(08)62851-9","volume-title":"Scientific computing with automatic result verification","author":"W. Kr\u00e4mer","year":"1993","unstructured":"Kr\u00e4mer, W.Multiple-precision computations with result verification. In: [1], pp. 325\u2013356."},{"key":"BF02391698_CR7","first-page":"45","volume-title":"Scientific Computing and Validated Numerics","author":"W. Kr\u00e4mer","year":"1996","unstructured":"Kr\u00e4mer, W. and Wedner, S.Computing narrow inclusions for Cauchy principal value integrals. In: Alefeld, G. and Frommer, A. (eds) \u201cScientific Computing and Validated Numerics\u201d, Akademie Verlag, Berlin, 1996, pp. 45\u201351."},{"key":"BF02391698_CR8","volume-title":"Computer arithmetic in theory in practice","year":"1981","unstructured":"Kulisch, U. W. and Miranker, W. L. (eds)Computer arithmetic in theory in practice. Academic Press, New York, 1981."},{"key":"BF02391698_CR9","unstructured":"Lohner, R.Habilitationsschrift. Universit\u00e4t Karlsruhe, 1994."},{"key":"BF02391698_CR10","doi-asserted-by":"crossref","unstructured":"Niederdrenk, K. and Yserentant, H.Funktionen einer reellen Ver\u00e4nderlichen. Rechnerorientierte Ingenieurmathematik, Vieweg, 1987.","DOI":"10.1007\/978-3-322-83033-3"},{"key":"BF02391698_CR11","volume-title":"Computer arithmetic in theory in practice","author":"L. B. Rall","year":"1981","unstructured":"Rall, L. B.Differentiation and generating of Taylor coefficients in PASCAL-SC. In: [8]."},{"key":"BF02391698_CR12","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/BF01406683","volume":"18","author":"R. A. Sack","year":"1972","unstructured":"Sack, R. A. and Donovan, A. F.An algorithm for Gaussian quadrature given modified moments. Numer. Math.18 (1972), pp. 465\u2013478.","journal-title":"Numer. Math."},{"key":"BF02391698_CR13","doi-asserted-by":"crossref","unstructured":"Stoer, J. and Bulirsch, R.Introduction to numerical analysis. Springer-Verlag, 1980.","DOI":"10.1007\/978-1-4757-5592-3"},{"key":"BF02391698_CR14","first-page":"114","volume":"4","author":"U. Storck","year":"1993","unstructured":"Storck, U.Verified calculation of the nodes and weights for Gaussian quadrature formulas. Interval Computation 4 (1993), pp. 114\u2013124.","journal-title":"Interval Computation"},{"key":"BF02391698_CR15","unstructured":"Wedner, S.Numerische Quadratur mit automatischer Ergebnisverifikation. Diplomarbeit, Universit\u00e4t Karlsruhe, 1994."},{"key":"BF02391698_CR16","unstructured":"Weissinger, J.Numerische Mathematik auf Personal-Computern Teil 1. B.I.-Wissenschaftsverlag, 1984."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02391698.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02391698\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02391698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T12:14:58Z","timestamp":1558095298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02391698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["BF02391698"],"URL":"https:\/\/doi.org\/10.1007\/bf02391698","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}