{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T02:17:58Z","timestamp":1714875478285},"reference-count":24,"publisher":"Elsevier","isbn-type":[{"value":"9780127082455","type":"print"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1016\/b978-0-12-708245-5.50017-8","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T05:36:19Z","timestamp":1404192979000},"page":"247-268","source":"Crossref","is-referenced-by-count":2,"title":["Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems"],"prefix":"10.1016","author":[{"given":"Johann","family":"Schr\u00f6der","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib1","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1090\/S0025-5718-1979-0521281-7","article-title":"A Collocation Solver for Mixed Order Systems of Boundary Value Problems","volume":"33","author":"Ascher","year":"1979","journal-title":"Math. Comp."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib2","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01899376","article-title":"Aufgaben monotoner","volume":"3","author":"Collatz","year":"1952","journal-title":"Art. Arch. Math."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib3","series-title":"The Numerical Treatment of Differential Equations","author":"Collatz","year":"1960"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01111276","article-title":"Schwankung von Polynomen zwischen Gitterpunkten","volume":"86","author":"Ehlich","year":"1964","journal-title":"Math. Z."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib5","unstructured":"G\u00e4rtel, U.: Fehlerabsch\u00e4tzungen f\u00fcr vektorwertige Randwertaufgaben zweiter Ordnung, insbesondere f\u00fcr Probleme aus der chemischen Reaktions-Diffusions-Theorie. Dissertation K\u00f6ln 1987."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib6","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BF02241862","article-title":"A programmed algorithm for existence proofs for two-point boundary value problems","volume":"44","author":"G\u00f6hlen","year":"1990","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01389432","article-title":"Gleichm\u00e4\u00dfig einschlie\u00dfende Diskretisierungsverfahren f\u00fcr schwach nichtlineare Randwertaufgaben","volume":"49","author":"Gro\u00dfmann","year":"1986","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib8","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02238729","article-title":"Monotone Iteration Discretization Algorithm for BVP's","volume":"41","author":"Gro\u00dfmann","year":"1989","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib9","series-title":"Self-Validating Numerics for Function Space Problems","author":"Kaucher","year":"1984"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib10","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1137\/0718028","article-title":"A Posteriori Error Bounds for Two-Point Boundary Value Problems","volume":"18","author":"Kedem","year":"1981","journal-title":"SIAM J. Numer. Anal."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib11","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF01462273","article-title":"Einschlie\u00dfungsaussagen f\u00fcr gew\u00f6hnliche Differentialoperatoren","volume":"25","author":"K\u00fcpper","year":"1976","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib12","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF01403909","article-title":"Einschlie\u00dfungsaussagen bei Differentialoperatoren zweiter Ordnung durch punktweise Ungleichungen","volume":"30","author":"K\u00fcpper","year":"1978","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib13","first-page":"T295","article-title":"Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben","volume":"64","author":"Lohner","year":"1984","journal-title":"ZAMM"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib14","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation Universit\u00e4t Karlsruhe 1988."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib15","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1137\/0712068","article-title":"Computable a posteriori LiF-Error Bounds for the Approximate Solution of Two-Point Boundary Value Problems","volume":"12","author":"McCarthy","year":"1975","journal-title":"SIAMJ. Numer. Anal."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib16","unstructured":"Nakao, M.T.: A numerical verification method for the existence of solutions for nonlinear boundary value problems. This volume."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib17","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02252131","article-title":"The Construction of a priori Bounds for the Solution of a Two-Point Boundary Value Problem with Finite Elements I","volume":"23","author":"Nickel","year":"1979","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib18","doi-asserted-by":"crossref","DOI":"10.1007\/BF00945108","article-title":"Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method","volume":"41","author":"Plum","year":"1990","journal-title":"ZAMP"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib19","unstructured":"Plum, M.: Verified Existence and Inclusion Results for two-point Boundary Value Problems. This volume."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib20","unstructured":"Ruttmann, B.: Untersuchungen zur Fehlerabsch\u00e4tzung von polynomialen N\u00e4herungsl\u00f6sungen bei Randwertaufgaben gew\u00f6hnlicher Differentialgleichungen. Dissertation Universit\u00e4t K\u00f6ln 1982."},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib21","series-title":"Operator Inequalities","author":"Schr\u00f6der","year":"1980"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib22","article-title":"Existence proofs for boundary value problems by numerical algorithms","author":"Schr\u00f6der","year":"1986","journal-title":"Report Univ. Cologne"},{"issue":"Suppl.6","key":"10.1016\/B978-0-12-708245-5.50017-8_bib23","first-page":"922","article-title":"A method for producing verified results for two-point boundary value problems","author":"Schr\u00f6der","year":"1988","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50017-8_bib24","unstructured":"Schr\u00f6der, J.: Operator Inequalities and Applications. To appear in \u201cInequalities: Fifty years on from Hardy, Littlewood and Polya\u201d, Conference Birmingham 1987."}],"container-title":["Computer Arithmetic and Self-Validating Numerical Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500178?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500178?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,2]],"date-time":"2018-10-02T06:29:53Z","timestamp":1538461793000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780127082455500178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780127082455"],"references-count":24,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-708245-5.50017-8","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}