{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T12:20:40Z","timestamp":1752668440514},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,11,12]],"date-time":"2008-11-12T00:00:00Z","timestamp":1226448000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.1007\/s00211-008-0191-5","type":"journal-article","created":{"date-parts":[[2008,11,11]],"date-time":"2008-11-11T06:09:19Z","timestamp":1226383759000},"page":"389-406","source":"Crossref","is-referenced-by-count":16,"title":["A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh\u2013B\u00e9nard problems"],"prefix":"10.1007","volume":"111","author":[{"given":"Myoungnyoun","family":"Kim","sequence":"first","affiliation":[]},{"given":"Mitsuhiro T.","family":"Nakao","sequence":"additional","affiliation":[]},{"given":"Yoshitaka","family":"Watanabe","sequence":"additional","affiliation":[]},{"given":"Takaaki","family":"Nishida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,12]]},"reference":[{"key":"191_CR1","unstructured":"Caini, F., Gelene, P.: Rayleigh\u2013B\u00e9nard convection. http:\/\/www.enseeiht.fr\/hmf\/travaux\/CD9598\/travaux\/optmfn\/BES_PHOENICS\/96-97\/ Caini-Gelene\/RB_convectio_tur.html . Accessed 2 Dec 2006"},{"key":"191_CR2","doi-asserted-by":"crossref","unstructured":"Manneville, P.: Rayleigh\u2013B\u00e9nard convection, thirty years of experimental, theoretical, and modeling work. http:\/\/www.ladhyx.polytechnique.fr\/people\/pops\/benard.pdf . Accessed 16 Feb 2005","DOI":"10.1007\/978-0-387-25111-0_3"},{"key":"191_CR3","doi-asserted-by":"crossref","unstructured":"Nishida, T., Ikeda, T., Yoshihara, H.: Mathematical modeling and numerical simulation in continuum mechanics. In: Lecture Notes in Computational Sciences and Engineering, vol. 19, Pattern Formation of Heat Convection Problems, pp. 209\u2013218. Springer, Heidelberg (2002)","DOI":"10.1007\/978-3-642-56288-4_15"},{"issue":"5","key":"191_CR4","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1023\/A:1025179130399","volume":"9","author":"M. T. Nakao","year":"2003","unstructured":"Nakao M. T., Watanabe Y., Yamamoto N., Nishida T.: Some computer assisted proofs for solutions of the heat convection problems. Reliable Comput. 9(5), 359\u2013372 (2003)","journal-title":"Reliable Comput."},{"key":"191_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00021-003-0077-3","volume":"6","author":"Y. Watanabe","year":"2004","unstructured":"Watanabe Y., Yamamoto N., Nakao M. T., Nishida T.: A numerical verification of nontrivial solutions for the heat convection problem. J. Math. Fluid Mech. 6, 1\u201320 (2004)","journal-title":"J. Math. Fluid Mech."},{"key":"191_CR6","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/0022-247X(92)90067-N","volume":"165","author":"M. Plum","year":"1992","unstructured":"Plum M.: Explicit H 2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems. J. Math. Anal. Appl. 165, 36\u201361 (1992)","journal-title":"J. Math. Anal. Appl."},{"key":"191_CR7","unstructured":"Rump, S.M.: Profil. Institute for Reliable Computing. http:\/\/www.ti3.tu-harburg.de\/Software\/PROFILEnglisch.html . Accessed on 5 July 2007"}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-008-0191-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00211-008-0191-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-008-0191-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T12:22:41Z","timestamp":1558614161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00211-008-0191-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,12]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["191"],"URL":"https:\/\/doi.org\/10.1007\/s00211-008-0191-5","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,12]]}}}