{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T08:46:00Z","timestamp":1649061960133},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,6,1]],"date-time":"1992-06-01T00:00:00Z","timestamp":707356800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1992,6]]},"DOI":"10.1007\/bf02341856","type":"journal-article","created":{"date-parts":[[2006,3,15]],"date-time":"2006-03-15T05:59:53Z","timestamp":1142402393000},"page":"395-419","source":"Crossref","is-referenced-by-count":4,"title":["Automatically identifying the asymptotic behavior of nonlinear singularly perturbed boundary value problems"],"prefix":"10.1007","volume":"8","author":[{"given":"Mark F.","family":"Russo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard L.","family":"Peskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02341856_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1114-3","volume-title":"Nonlinear Singular Perturbation Phenomena: Theory and Applications","author":"K. W. Chang","year":"1984","unstructured":"ChangK. W. and HowesF. A.Nonlinear Singular Perturbation Phenomena: Theory and Applications. Springer-Verlag, New York (1984)."},{"key":"BF02341856_CR2","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0001-8708(68)90022-4","volume":"2","author":"L. K. Jackson","year":"1968","unstructured":"JacksonL. K. \u2018Subfunctions and second-order differential inequalities\u2019.Advances in Math. 2, 307\u2013363 (1968).","journal-title":"Advances in Math."},{"key":"BF02341856_CR3","first-page":"861","volume":"19","author":"M. Nagumo","year":"1937","unstructured":"NagumoM., \u2018Uber di Differentialgleichungy\u2033=f(x, y, y\u2032)\u2019.Proc. Phys. Math. Soc. Japan 19, 861\u2013866 (1937).","journal-title":"Proc. Phys. Math. Soc. Japan"},{"key":"BF02341856_CR4","volume-title":"New Computing Environments: Parallel, Vector and Systolic","author":"R. C. Y. Chin","year":"1986","unstructured":"ChinR. C. Y., HedstromG. W., HowesF. A. and McGrawJ. R. \u2018Parallel computation of multiple-scale problems\u2019.New Computing Environments: Parallel, Vector and Systolic, A.Wouk, ed., SIAM, Philadelphia, Pa. (1986)."},{"key":"BF02341856_CR5","unstructured":"Scroggs, J. S. \u2018The solution of a parabolic partial differential equation via domain decomposition: the synthesis of asymptotic and numerical anlaysis\u2019. Doctoral Dissertation, University of Illinois at Urbana-Champaign, May (1988)."},{"key":"BF02341856_CR6","unstructured":"Scroggs, J. S. \u2018Parallel computational of a domain decomposition method\u2019.Proceedings of the Third SIAM Conference on Parallel Processing for Scientific Computing, Los Angeles, CA. (1987)."},{"key":"BF02341856_CR7","volume-title":"Domain Decomposition Methods","author":"G. W. Hedstrom","year":"1989","unstructured":"HedstromG. W. and HowesF. A. \u2018A domain decomposition method for a convection diffusion equation with turning point\u2019.Domain Decomposition Methods, (T. F.Chan, R.Glowinski, J.Periaux and O. B.Widlund, eds.), SIAM, Philadelphia, Pa. (1989)."},{"key":"BF02341856_CR8","unstructured":"Russo, M. F. \u2018Automatic generation of parallel programs using nonlinear singular perturbation theory\u2019, Doctoral Dissertation, Dept. of Chemical and Biochemical Engineering, Rutgers University, New Brunswick, N.J., May (1989)."},{"key":"BF02341856_CR9","volume-title":"Programming in Prolog.","author":"M. F. Clocksin","year":"1981","unstructured":"ClocksinM. F. and MellishC. S.Programming in Prolog. Springer-Verlag, New York (1981)."},{"key":"BF02341856_CR10","volume-title":"The Art of Prolog, Advanced Programming Techniques","author":"L. Sterling","year":"1986","unstructured":"SterlingL. and ShapiroE.The Art of Prolog, Advanced Programming Techniques. The MIT Press, Cambridge, Mass. (1986)."},{"key":"BF02341856_CR11","volume-title":"Maple User's Guide","author":"B. W. Char","year":"1985","unstructured":"CharB. W., GeddesK. O., GonnetG. H. and WattS. M.Maple User's Guide. WATCOM Publications Limited, Waterloo, Ontario (1985)."},{"key":"BF02341856_CR12","volume-title":"Principles of Artificial Intelligence","author":"N. J. Nilsson","year":"1980","unstructured":"NilssonN. J.Principles of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., Los Altos, California (1980)."},{"key":"BF02341856_CR13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF00276861","volume":"91","author":"F. A. Howes","year":"1986","unstructured":"HowesF. A. \u2018Multi-dimensional initial-boundary value problems with strong nonlinearities\u2019.Archive for Rational Mechanics and Analysis 91, 153\u2013168 (1986).","journal-title":"Archive for Rational Mechanics and Analysis"},{"key":"BF02341856_CR14","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1137\/0515025","volume":"15","author":"M. A. O'Donnell","year":"1984","unstructured":"O'DonnellM. A. \u2018Boundary and corner layer behavior in singularly perturbed semilinear systems of boundary value problems\u2019.SIAM J. of Math. Anal. 15, 317\u2013332 (1984).","journal-title":"SIAM J. of Math. Anal."},{"key":"BF02341856_CR15","first-page":"1","volume":"17","author":"J. M. Burgers","year":"1939","unstructured":"BurgersJ. M. \u2018Mathematical model illustrating the theory of turbulence\u2019.Trans. Roy. Neth. Acad. Sci. 17, 1\u201353 (1939).","journal-title":"Trans. Roy. Neth. Acad. Sci."},{"key":"BF02341856_CR16","doi-asserted-by":"crossref","unstructured":"Howes, F. A. \u2018Differential Inequality Techniques and Singular Perturbations\u2019.Rocky Mountain Journal of Mathematics 12 (1982).","DOI":"10.1216\/RMJ-1982-12-4-767"},{"key":"BF02341856_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5282-5","volume-title":"Maximum Principles in Differential Equations","author":"M. H. Protter","year":"1984","unstructured":"ProtterM. H. and WeinbergerH. F.Maximum Principles in Differential Equations. Springer-Verlag, New York (1984)."},{"key":"BF02341856_CR18","doi-asserted-by":"crossref","unstructured":"Howes, F. A.Boundary-Interior Layer Interactions in Nonlinear Singular Perturbation Theory. Memoirs of the American Mathematics Society, No. 203, Vol. 15 (1978).","DOI":"10.1090\/memo\/0203"},{"key":"BF02341856_CR19","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/0022-247X(74)90172-3","volume":"48","author":"J. W. Heidel","year":"1974","unstructured":"HeidelJ. W. \u2018A second-order nonlinear boundary value problem\u2019.J. Math. Anal. and Appl. 48, 493\u2013503 (1974).","journal-title":"J. Math. Anal. and Appl."},{"key":"BF02341856_CR20","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0905061","volume":"5","author":"J. E. Flaherty","year":"1984","unstructured":"FlahertyJ. E. and O'MalleyR. E.Jr. \u2018Numerical methods for stiff systems of two-point boundry value problems\u2019,SIAM J. Sci. Stat. Comput. 5, 865\u2013886 (1984).","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"BF02341856_CR21","doi-asserted-by":"crossref","unstructured":"Russel, R. D. and Christiansen, J. \u2018Adaptive Mesh Selection Strategies for Solving Boundary Value Problems\u2019.SIAM Journal of Numerical Analysis 15 (1978).","DOI":"10.1137\/0715004"},{"key":"BF02341856_CR22","doi-asserted-by":"crossref","unstructured":"Chin, R. C. Y., Hedstrom, G. W. \u2018Considerations on solving problems with multiple scales\u2019.Multiple Time Scales (Brackbill and Cohen, eds.) (1985).","DOI":"10.1016\/B978-0-12-123420-1.50006-9"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02341856.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02341856\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02341856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T21:14:04Z","timestamp":1557954844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02341856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,6]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,6]]}},"alternative-id":["BF02341856"],"URL":"https:\/\/doi.org\/10.1007\/bf02341856","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,6]]}}}