{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T11:47:05Z","timestamp":1759837625832,"version":"3.43.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1023\/a:1025179130399","type":"journal-article","created":{"date-parts":[[2003,9,16]],"date-time":"2003-09-16T18:25:03Z","timestamp":1063736703000},"page":"359-372","source":"Crossref","is-referenced-by-count":9,"title":["Some Computer Assisted Proofs for Solutions of the Heat Convection Problems"],"prefix":"10.1007","volume":"9","author":[{"given":"Mitsuhiro T.","family":"Nakao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshitaka","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobito","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takaaki","family":"Nishida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5143554_CR1","unstructured":"Chandrasekhar, S.: Hydrodynamic and Hydromagnetic Stability, Oxford University ess, 1961."},{"key":"5143554_CR2","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1137\/0510008","volume":"10","author":"J. H. Curry","year":"1979","unstructured":"Curry, J. H.: Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations, SIAM J. Math. Anal.\n10 (1979), pp. 71\u201379.","journal-title":"SIAM J. Math. Anal"},{"key":"5143554_CR3","doi-asserted-by":"crossref","unstructured":"Getling, A. V.: Rayleigh-B\u00b4enard Convection: Structures and Dynamics, Advanced Series in Nonlinear Dynamics\n11, World Scientific, 1998.","DOI":"10.1142\/3097"},{"key":"5143554_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00250190","volume":"20","author":"D. D. Joseph","year":"1965","unstructured":"Joseph, D. D.:On the Stability of the Boussinesq Equations, Arch. Rational Mech. Anal.\n20 (1965), pp. 59\u201371.","journal-title":"Arch. Rational Mech. Anal"},{"key":"5143554_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-3440-8","volume-title":"Applications of Interval Computations","author":"R. B. Kearfott","year":"1996","unstructured":"Kearfott, R. B. and Kreinovich, V.: Applications of Interval Computations, Kluwer Academic Publishers, Dordrecht, 1996."},{"key":"5143554_CR6","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1016\/0022-247X(92)90129-2","volume":"164","author":"M. T. Nakao","year":"1992","unstructured":"Nakao, M. T.:ANumericalVerificationMethod for the Existence ofWeak Solutions forNonlinear Boundary Value Problems, J. Math. Anal. Appl.\n164 (1992), pp. 489\u2013507.","journal-title":"J. Math. Anal. Appl"},{"key":"5143554_CR7","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-7091-6918-6_13","volume":"9","author":"M. T. Nakao","year":"1993","unstructured":"Nakao, M. T.: Solving Nonlinear Elliptic Problems with Result Verification Using an H\n\n-1 Type Residual Iteration, Computing, Suppl.\n9 (1993), pp. 161\u2013173.","journal-title":"Computing, Suppl."},{"key":"5143554_CR8","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1080\/14786441608635602","volume":"32","author":"J. W. S. Rayleigh","year":"1916","unstructured":"Rayleigh, J. W. S.: On Convection Currents in a Horizontal Layer of Fluid, When the Higher Temperature Is on the Under Side, The London, Edinburgh and Dublin Philosophical Magazine and Journal of Science, Ser. 6\n32 (1916), pp. 529\u2013546; and Scientific Papers\n6 (1920), pp. 432\u2013446.","journal-title":"The London, Edinburgh and Dublin Philosophical Magazine and Journal of Science, Ser. 6"},{"key":"5143554_CR9","unstructured":"Watanabe, Y., Yamamoto, N., Nakao, M. T., and Nishida, T.: A Numerical Verification of Nontrivial Solutions for theHeatConvection Problem, Journal of Mathematical FluidMechanics, to appear."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025179130399.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025179130399\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025179130399.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:40:58Z","timestamp":1754473258000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025179130399"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["5143554"],"URL":"https:\/\/doi.org\/10.1023\/a:1025179130399","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}