{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T15:46:49Z","timestamp":1648828009433},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1007\/bf02684404","type":"journal-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T05:05:36Z","timestamp":1186549536000},"page":"63-83","source":"Crossref","is-referenced-by-count":0,"title":["Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution"],"prefix":"10.1007","volume":"59","author":[{"given":"E.","family":"Adams","sequence":"first","affiliation":[]},{"given":"K.","family":"Baumann","sequence":"additional","affiliation":[]},{"given":"Ch.","family":"Grossmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02684404_CR1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/B978-0-12-708245-5.50016-6","volume-title":"Computer arithmetic and self-validating numerical methods","author":"E. Adams","year":"1990","unstructured":"Adams, E.: Periodic solutions: enclosure, verification, and applications. In: Computer arithmetic and self-validating numerical methods (Ulrich, Ch., ed.), pp. 199\u2013245. Boston: Academic Press 1990."},{"key":"BF02684404_CR2","volume-title":"Discretization in differential equations and enclosures","year":"1987","unstructured":"Adams, E., Ansorge, R., Grossmann, C., Roos, H.-G. (eds.): Discretization in differential equations and enclosures. Berlin: Akademie Verlag 1987."},{"key":"BF02684404_CR3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-7091-6957-5_11","volume-title":"Scientific computation with automatic result verifications","author":"E. Adams","year":"1988","unstructured":"Adams, E., Holzm\u00fcller, A., Straub, D.: The periodic solutions of the Oregonator and verification of results. In: Scientific computation with automatic result verifications (Kulisch, U., Stetter, H.J, eds.), pp. 111\u2013121. Wien New York: Springer 1988 (Computing Suppl. 6)."},{"key":"BF02684404_CR4","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-07170-9_8","volume-title":"Interval mathematics","author":"E. Adams","year":"1975","unstructured":"Adams, E., Spreuer, H.: Konvergente numerische Schrankenkonstruktionen mit Spline-Funktionen f\u00fcr nichtlineare gew\u00f6hnliche bzw. parabolische Randwertaufgaben. In: Interval mathematics (Nickel, K., ed.), pp. 118\u2013126. Berlin Heidelberg, New York: Springer 1975."},{"key":"BF02684404_CR5","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Springer 1983."},{"key":"BF02684404_CR6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02238729","volume":"31","author":"M. Al-Zanaidi","year":"1989","unstructured":"Al-Zanaidi, M., Grossmann, C.: Monotone iteration discretization algorithm for BVP\u2019s. Computing31, 59\u201374 (1989).","journal-title":"Computing"},{"key":"BF02684404_CR7","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1137\/0726031","volume":"26","author":"U. Ascher","year":"1989","unstructured":"Ascher, U.: On numerical differential algebraic problems with applications to semiconductor device simulation. SIAM J. Numer. Anal.26, 517\u2013538 (1989).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02684404_CR8","volume-title":"Numerical solution of boundary value problems for ordinary differential equations","author":"U. Ascher","year":"1988","unstructured":"Ascher, U., Mattheij, R. M., Russel, R. D.: Numerical solution of boundary value problems for ordinary differential equations. Englewood Cliffs: Prentice Hall 1988."},{"key":"BF02684404_CR9","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1137\/0905058","volume":"5","author":"U. Ascher","year":"1984","unstructured":"Ascher, U., Weiss, R.: Collocation for singular perturbation problems III: Nonlinear problems without turning points. SIAM J. Sci. Statist. Comput.5, 811\u2013829 (1984).","journal-title":"SIAM J. Sci. Statist. Comput."},{"key":"BF02684404_CR10","volume-title":"Einschlie\u00dfungsmethoden f\u00fcr zwei Klassen von Differentialgleichungen aus dem Ingenieurwesen","author":"K. Baumann","year":"1993","unstructured":"Baumann, K.: Einschlie\u00dfungsmethoden f\u00fcr zwei Klassen von Differentialgleichungen aus dem Ingenieurwesen. Diplomarbeit, Karlsruhe 1993."},{"key":"BF02684404_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6333-3","volume-title":"A practical guide to splines","author":"C. DeBoor","year":"1978","unstructured":"DeBoor, C.: A practical guide to splines. Berlin Heidelberg New York: Springer 1978."},{"key":"BF02684404_CR12","unstructured":"Eijgenraam, P.: The solution of initial value problems using interval arithmetic. Stichting Mathematisch Centrum Amsterdam, Mathematical Centre Tracts 144, 1981."},{"key":"BF02684404_CR13","first-page":"99","volume-title":"Discretization in differential equations and enclosures","author":"C. Grossmann","year":"1987","unstructured":"Grossmann, C.: Monotone discretization of two-point bounday value problems and related numerical methods. In: [2], pp. 99\u2013122."},{"key":"BF02684404_CR14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01389432","volume":"49","author":"C. Grossmann","year":"1986","unstructured":"Grossmann, C., Kr\u00e4tzschmar, M., Roos, H.-G.: Gleichm\u00e4\u00dfig einschlie\u00dfende Diskretisierungsverfahren f\u00fcr schwach nichtlineare Randwertaufgaben. Numer. Math.49, 95\u2013110 (1986).","journal-title":"Numer. Math."},{"key":"BF02684404_CR15","unstructured":"Grossmann, C., Roos, H.-G.: Enclosing discretization for singular and singularly perturbed boundary value problems. In: Numerical methods in singularly perturbed problems, (Roos, H.G., et al., eds), pp. 71\u201382. TU Dresden 1991."},{"key":"BF02684404_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12607-3","volume-title":"Solving ordinary differential equations I: Nonstiff problems","author":"E. Hairer","year":"1987","unstructured":"Hairer, E., Norsett, S. P., Wanner, G.: Solving ordinary differential equations I: Nonstiff problems. Berlin Heidelberg New York Tokyo: Springer 1987."},{"key":"BF02684404_CR17","volume-title":"Numerical toolbox for verified computing I, theory, algorithms and PASCAL-XSC programs","author":"R. Hammer","year":"1991","unstructured":"Hammer, R., et al.: Numerical toolbox for verified computing I, theory, algorithms and PASCAL-XSC programs. Berlin Heidelberg New York Tokyo: Springer 1991."},{"key":"BF02684404_CR18","unstructured":"Hemker, P.W.: A numerical study of stiff two-point boundary value problems. Ph.D. Thesis, Amsterdam 1977."},{"key":"BF02684404_CR19","volume-title":"Nonlinear ordinary differential equations","author":"D. W. Jordan","year":"1977","unstructured":"Jordan, D. W., Smith, P.: Nonlinear ordinary differential equations. Oxford: Clarendon Press 1977."},{"key":"BF02684404_CR20","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF00939375","volume":"76","author":"M. K. Kadalbajoo","year":"1993","unstructured":"Kadalbajoo, M. K., Bawa, R. K.: Cubic spline method for a class of nonlinear singularly-perturbed boundary-value problems. J. Optim. Theory Appl.76, 415\u2013428 (1993).","journal-title":"J. Optim. Theory Appl."},{"key":"BF02684404_CR21","volume-title":"An introduction to variational inequalities and their applications","author":"D. Kinderlehrer","year":"1980","unstructured":"Kinderlehrer, D., Stampacchia, G.: An introduction to variational inequalities and their applications. New York: Academic Press 1980."},{"key":"BF02684404_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09214-9","volume-title":"PASCAL-XSC Sprachbeschreibung mit Beispielen","author":"R. Klatte","year":"1991","unstructured":"Klatte, R., et al.: PASCAL-XSC Sprachbeschreibung mit Beispielen. Berlin Heidelberg New York: Tokyo Springer 1991; [English translation: Springer, 1992]."},{"key":"BF02684404_CR23","unstructured":"Kr\u00e4tzschmar, M.: Iterationsverfahren zur L\u00f6sung schwach nichtlinearer elliptischer Randwertaufgaben mit monotoner L\u00f6sungseinschlie\u00dfung. Ph.D. Thesis, Dresden 1983."},{"key":"BF02684404_CR24","volume-title":"Computer arithmetic in theory and practice","author":"U. Kulisch","year":"1981","unstructured":"Kulisch, U., Miranker, W. L.: Computer arithmetic in theory and practice. New York: Academic Press 1981."},{"key":"BF02684404_CR25","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. Diss., Univ. Karlsruhe, 1988."},{"key":"BF02684404_CR26","volume-title":"Numerical toolbox for verified computing II\/III, theory, algorithms and PASCAL-XSC programs","author":"R. Lohner","year":"1990","unstructured":"Lohner, R. et al.: Numerical toolbox for verified computing II\/III, theory, algorithms and PASCAL-XSC programs. Heidelberg New York Tokyo: Springer 1990."},{"key":"BF02684404_CR27","volume-title":"Applied Mathematical Sciences, vol. 89","author":"R. E. O\u2019Malley","year":"1991","unstructured":"O\u2019Malley, R. E.: Singular perturbation methods for ordinary differential equations. Applied Mathematical Sciences, vol. 89. New York: Springer 1991."},{"key":"BF02684404_CR28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF02239009","volume":"46","author":"M. Plum","year":"1991","unstructured":"Plum, M.: Computer-aided existence proofs for two-point boundary value problems. Computing46, 19\u201334 (1991).","journal-title":"Computing"},{"key":"BF02684404_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03206-0","volume-title":"Numerical methods for singularly perturbed differential equations","author":"H. G. Roos","year":"1996","unstructured":"Roos, H. G., Stynes, M., Tobiska, L.: Numerical methods for singularly perturbed differential equations. Berlin Heidelberg New York Tokyo: Springer 1996."},{"key":"BF02684404_CR30","volume-title":"Operator inequalities","author":"J. Schr\u00f6der","year":"1980","unstructured":"Schr\u00f6der, J.: Operator inequalities. New York: Academic Press 1980."},{"key":"BF02684404_CR31","first-page":"163","volume-title":"Inequalities","author":"J. Schr\u00f6der","year":"1991","unstructured":"Schr\u00f6der, J.: Operator inequalities and applications. In: Inequalities (Norrie, E.W., ed.), pp. 163\u2013210. New York: Marcel Dekker 1991."},{"key":"BF02684404_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8752-4","volume-title":"Analysis and simulation of semiconductor devices","author":"S. Selberherr","year":"1984","unstructured":"Selberherr, S.: Analysis and simulation of semiconductor devices. Heidelberg New York: Springer 1984."},{"key":"BF02684404_CR33","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF01401042","volume":"32","author":"J. Sprekels","year":"1979","unstructured":"Sprekels, J., Voss, H.: Pointwise inclusions of fixed points by finite dimensional iteration schemes. Numer. Math.32, 381\u2013392 (1979).","journal-title":"Numer. Math."},{"key":"BF02684404_CR34","first-page":"99","volume":"81","author":"H. Spreuer","year":"1981","unstructured":"Spreuer, H.: A method for the computation of bounds with convergence of arbitrary order for ordinary linear boundary value problems. JMAA81, 99\u2013133 (1981).","journal-title":"JMAA"},{"key":"BF02684404_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06867-0","volume-title":"Einf\u00fchrung in die numerische Mathematik, II","author":"J. Stoer","year":"1973","unstructured":"Stoer, J., Bulirsch, R.: Einf\u00fchrung in die numerische Mathematik, II. Berlin Heidelberg New York: Springer 1973."},{"key":"BF02684404_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86405-6","volume-title":"Differential and integral inequalities","author":"W. Walter","year":"1970","unstructured":"Walter, W.: Differential and integral inequalities. Berlin Heidelberg New York: Springer 1970."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02684404.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02684404\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02684404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T22:22:39Z","timestamp":1558218159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02684404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["BF02684404"],"URL":"https:\/\/doi.org\/10.1007\/bf02684404","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}