{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:17:05Z","timestamp":1725718625005},"publisher-location":"Dordrecht","reference-count":14,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048153503"},{"type":"electronic","value":"9789401712477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-017-1247-7_6","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T00:02:28Z","timestamp":1362960148000},"page":"67-75","source":"Crossref","is-referenced-by-count":0,"title":["A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Lang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Ein paralleles Verfahren zur verifizierten globalen Optimierung","author":"S Berner","year":"1995","unstructured":"S. Berner. Ein paralleles Verfahren zur verifizierten globalen Optimierung. PhD thesis, Bergische Universit\u00e4t GH Wuppertal, 1995."},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1137\/0908069","volume":"8","author":"GF Corliss","year":"1987","unstructured":"G. F. Corliss and L. B. Rall. Adaptive, self-validating quadrature. SIAM J. Sci. Stat. Comput., 8 (5): 831\u2013847, 1987.","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"6_CR3","first-page":"195","volume-title":"Computer Arithmetic, Scientific Computation, and Mathematical Modelling, volume 12 of IMACS Annals on Computing and Applied Mathematics","author":"GF Corliss","year":"1991","unstructured":"G. F. Corliss and L. B. Rall. Computing the range of derivatives. In Edgar Kaucher, S. M. Markov, and G\u00fcnter Mayer, editors, Computer Arithmetic, Scientific Computation, and Mathematical Modelling, volume 12 of IMACS Annals on Computing and Applied Mathematics, pages 195\u2013212. Baltzer, Basel, 1991."},{"key":"6_CR4","volume-title":"Methods of numerica","author":"PJ Davis","year":"1984","unstructured":"P. J. Davis and P. Rabinowitz. Methods of Numerical Integration. Academic Press, New York, 2nd edition, 1984."},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1090\/S0025-5718-69-99647-1","volume":"23","author":"GH Golub","year":"1969","unstructured":"G. H. Golub and J. H. Welsch. Calculation of Gauss quadrature rules. Math. Comp., 23: 221\u2013230, 1969.","journal-title":"Math. Comp."},{"key":"6_CR6","volume-title":"MRC Technical Summary Report","author":"JH Gray","year":"1975","unstructured":"J. H. Gray and L. B. Rall. INTE: A UNIVAC 1108\/1110 program for numerical integration with rigorous error estimation. MRC Technical Summary Report No. 1428, Mathematics Research Center, University of Wisconsin - Madison, 1975."},{"key":"6_CR7","volume-title":"Revised","author":"A Griwank","year":"1998","unstructured":"A. Griwank, J. Utke, and A. Walther. Evaluating higher derivative tensors by forward propagation of univariate Taylor series. Preprint IOKOMO-09\u201397t, TU Dresden, Inst. of Scientific Computing, 1997. Revised June 1998."},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF02391697","volume":"2","author":"O Holzmann","year":"1996","unstructured":"O. Holzmann, B. Lang, and H. Schutt. Newton\u2019s constant of gravitation and verified numerical quadrature. Reliable Computing, 2 (3): 229\u2013239, 1996.","journal-title":"Reliable Computing"},{"key":"6_CR9","volume-title":"Rigorous Global Search: Continuous Problems","author":"R Baker","year":"1996","unstructured":"R. Baker Kearfott. Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht, 1996."},{"key":"6_CR10","volume-title":"Pascal-XSC Language Reference with Examples","author":"R Klatte","year":"1992","unstructured":"R. Klatte, U. Kulisch, M. Neaga, D. Ratz, and Ch. Ullrich. Pascal-XSC Language Reference with Examples. Springer, Berlin, 1992."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF02307384","volume":"53","author":"D Ratz","year":"1994","unstructured":"D. Ratz. Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method. Computing, 53: 337\u2013353, 1994.","journal-title":"Computing"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF01097060","volume":"7","author":"D Ratz","year":"1995","unstructured":"D. Ratz and T. Csendes. On the selection of subdivision directions in interval branch-and-bound methods for global optimization. Journal of Global Optimization, 7: 183\u2013207, 1995.","journal-title":"Journal of Global Optimization"},{"key":"6_CR13","first-page":"114","volume":"4","author":"U Storck","year":"1993","unstructured":"U. Storck. Verified calculation of the nodes and weights for Gaussian quadrature formulas. Interval Computations, 4: 114\u2013124, 1993.","journal-title":"Interval Computations"},{"key":"6_CR14","volume-title":"Approximative Calculation of Multiple Integrals","author":"AH Stroud","year":"1971","unstructured":"A. H. Stroud. Approximative Calculation of Multiple Integrals. Prentice-Hall, New York, 1971."}],"container-title":["Developments in Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1247-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T13:54:16Z","timestamp":1557582856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1247-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789048153503","9789401712477"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1247-7_6","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}