{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T02:46:42Z","timestamp":1726454802387},"reference-count":25,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780127082455"}],"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.50018-x","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T05:35:39Z","timestamp":1404192939000},"page":"269-299","source":"Crossref","is-referenced-by-count":1,"title":["Aspects of Self-Validating Numerics in Banach Spaces"],"prefix":"10.1016","author":[{"given":"E.","family":"Kaucher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Schulz-Rinne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1974","series-title":"Einf\u00fchrung in die Intervallrechnung","author":"Alefeld","key":"10.1016\/B978-0-12-708245-5.50018-X_bib1"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib2","unstructured":"B\u00f6hm, H., Rump, S.M., Schumacher, G.: E-Methods for Nonlinear Problems, in: Kaucher, E., Kulisch, U., Ullrich, Ch. (eds.): Computerarithmetic: Scientific Computation and Programming Languages, Proceedings, B.G. Teubner, Stuttgart (1987)."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib3","unstructured":"Corliss, G.F.: Computing Narrow Inclusions for Definit Integrals. In [9], pp. 150\u2013169."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib4","unstructured":"Dobner, H.-J.: Einschlie\u00dfungsalgorithmen f\u00fcr hyperbolische Differentialgleichungen, Dissertation, Universit\u00e4t Karlsruhe (1986)"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib5","unstructured":"Dobner, H.-J., Kaucher, E.: Solving Characteristic Initial Value Problems with Guaranteed Errorbounds. In [9]. pp. 170\u2013185."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib6","unstructured":"FORTRAN-SC, A Study of a FORTRAN Extension for Engineering\/Scientific Computation with Access to ACRITH, Language Reference and User's Guide. IBM Development Laboratory B\u00f6blingen, Germany (1988)."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib7","unstructured":"Faa\u00df, E.: Beliebig genaue numerische Schranken f\u00fcr die L\u00f6sung parabolischer Randwertaufgaben, Doctor Thesis, University of Karlsruhe (1975)."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib8","unstructured":"IBM High-Accuracy Arithmetic Subroutine Library (ACRITH). Program Description and User's Guide, SC 33\u20136164-02, 3rd Edition (1986)."},{"year":"1987","series-title":"Computer Arithmetic - Scientific Computation and Programming Languages","author":"Kaucher","key":"10.1016\/B978-0-12-708245-5.50018-X_bib9"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF02237993","article-title":"E-Methods for Fixed Point Equation f(x) = x","volume":"28","author":"Kaucher","year":"1982","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib11","series-title":"Wissenschaftliches Rechnen mit Ergebnisverifikation","first-page":"225","article-title":"Methoden zur L\u00f6sung von Integral- und Differentialgleichungen","author":"Kaucher","year":"1989"},{"issue":"Suppl. 5","key":"10.1016\/B978-0-12-708245-5.50018-X_bib12","first-page":"169","article-title":"Residual Correction and Validation in Functoids","author":"Kaucher","year":"1984","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib13","unstructured":"Kaucher, E.: Self-Validating Computation of Ordinary and Partial Differential Equations. In: [9], pp. 221\u2013254."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib14","unstructured":"Kaucher, E.: Self-Validating Numerical Methods. Proceedings of the AMSE Conference on Modelling & Simulation, Vol. 3.1, Athen (1984)."},{"year":"1984","series-title":"Self-Validating Numerics for Function Space Problems","author":"Kaucher","key":"10.1016\/B978-0-12-708245-5.50018-X_bib15"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib16","series-title":"A New Approach to Scientific Computation","first-page":"139","article-title":"Solving Function Space Problems with Guaranteed, Close Bounds","author":"Kaucher","year":"1983"},{"year":"1981","series-title":"Computer Arithmetic in Theory and Practice","author":"Kulisch","key":"10.1016\/B978-0-12-708245-5.50018-X_bib17"},{"year":"1988","series-title":"Scientific Computation with Automatic Result Verification","key":"10.1016\/B978-0-12-708245-5.50018-X_bib18"},{"year":"1987","series-title":"PASCAL-SC: A Pascal Extension for Scientific Computation, Information Manual and Floppy Disks","key":"10.1016\/B978-0-12-708245-5.50018-X_bib19"},{"year":"1987","series-title":"PASCAL-SC: A Pascal Extension for Sientific Computation, Information Manual and Floppy Disks","key":"10.1016\/B978-0-12-708245-5.50018-X_bib20"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib21","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung bei gew\u00f6hnlichen *Anfangsund Randwertaufgaben und Anwendungen. Doctor Thesis at the University of Karlsruhe (1988)."},{"year":"1988","series-title":"Reliability in Computing - The Role of Interval Methods in Scientific Computing","key":"10.1016\/B978-0-12-708245-5.50018-X_bib22"},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib23","unstructured":"Rall. L. B.: Optimal Implementation of Differentiation Arithmetic, In [7], pp. 287\u2013295."},{"key":"10.1016\/B978-0-12-708245-5.50018-X_bib24","unstructured":"Schumacher, G., Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar- und Vektorrechnern. Doctor Thesis at the University of Karlsruhe (1989)."},{"year":"1964","series-title":"Differential and Integral Inequalities","author":"Walter","key":"10.1016\/B978-0-12-708245-5.50018-X_bib25"}],"container-title":["Computer Arithmetic and Self-Validating Numerical Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B978012708245550018X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B978012708245550018X?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:30:00Z","timestamp":1538461800000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B978012708245550018X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780127082455"],"references-count":25,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-708245-5.50018-x","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}