{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:17:00Z","timestamp":1725718620955},"publisher-location":"Dordrecht","reference-count":16,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048153503"},{"type":"electronic","value":"9789401712477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-017-1247-7_27","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T00:02:28Z","timestamp":1362960148000},"page":"347-357","source":"Crossref","is-referenced-by-count":1,"title":["A Numerical Verification Method of Solutions for the Navier-Stokes Equations"],"prefix":"10.1007","author":[{"given":"Yoshitaka","family":"Watanabe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobito","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro T.","family":"Nakao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"The Finite Element Method for Elliptic Problems","author":"PG Ciarlet","year":"1978","unstructured":"Ciarlet, P. G.: The Finite Element Method for Elliptic Problems, North-Holland, Amsterdam, 1978."},{"key":"27_CR2","volume-title":"Heidelberg","author":"V Girault","year":"1986","unstructured":"Girault, V. and Raviart, P. A.: Finite Element Approximation of the Navier-Stokes Equations, Springer-Verlag, Berlin, Heidelberg, 1986."},{"key":"27_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-3440-8","volume-title":"Applications of Interval Computations","author":"RB Kearfott","year":"1996","unstructured":"Kearfott, R. B. and Kreinovich, V.: Applications of Interval Computations, Kluwer Academic Publishers, Netherlands, 1996."},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS-A Fast Interval Library, Computing\n              53 (1994), pp. 277\u2013287.","journal-title":"Computing"},{"key":"27_CR5","volume-title":"C-XSC, A C++ Class Library for Extended Scientific Computing","author":"U Kulisch","year":"1993","unstructured":"Kulisch, U. et. al.: C-XSC, A C++ Class Library for Extended Scientific Computing, Springer-Verlag, New York, 1993."},{"key":"27_CR6","volume-title":"The Mathematical Theory of Viscous Incompressible Flow","author":"O Ladyzhenskaya","year":"1969","unstructured":"Ladyzhenskaya, O.: The Mathematical Theory of Viscous Incompressible Flow, Gordon Breach, New York, 1969."},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/0022-247X(92)90129-2","volume":"164","author":"MT Nakao","year":"1992","unstructured":"Nakao, M. T.: A Numerical Verification Method for the Existence of Weak Solutions for Nonlinear Boundary Value Problems, J. Math. Anal. Appl. 164 (1992), pp. 489\u2013507.","journal-title":"J. Math. Anal. Appl"},{"key":"27_CR8","first-page":"161","volume":"9","author":"MT Nakao","year":"1993","unstructured":"Nakao M. T.: Solving Nonlinear Elliptic Problems with Result Verification Using an H\u22121 Type Residual Iteration, Computing, Suppl. 9 (1993), pp. 161\u2013173.","journal-title":"Suppl"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1006\/jath.1998.3172","volume":"93","author":"MT Nakao","year":"1998","unstructured":"Nakao, M. T., Yamamoto, N., and Kimura, S.: On Best Constant in the Optimal Error Estimates for the Ho-projection into Piecewise Polynomial Spaces, J. Approximation Theory\n              93 (1998), pp. 491\u2013500.","journal-title":"J. Approximation Theory"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0377-0427(98)00035-1","volume":"91","author":"MT Nakao","year":"1998","unstructured":"Nakao, M. T., Yamamoto, N., and Watanabe, Y.: A Posteriori and Constructive A Priori Error Bounds for Finite Element Solutions of the Stokes Equations, J. Comput. Appl. Math. 91 (1998), pp. 137\u2013158.","journal-title":"J. Comput. Appl. Math"},{"issue":"2","key":"27_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1009979408417","volume":"4","author":"MT Nakao","year":"1998","unstructured":"Nakao, M. T., Yamamoto, N., and Watanabe, Y.: Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations, Reliable Computing\n              4 (2) (1998), pp. 115\u2013124.","journal-title":"Reliable Computing"},{"key":"27_CR12","first-page":"258","volume-title":"Scientific Computing and Validated Numerics, Proceedings of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, Mathematical Research 90","author":"MT Nakao","year":"1996","unstructured":"Nakao, M. T., Yamamoto, N., and Watanabe, Y.: Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem, in: Alefeld, G., Frommer, A., and Lang, B. (eds): Scientific Computing and Validated Numerics, Proceedings of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, Mathematical Research\n              90 (1996), pp. 258\u2013264."},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF02320201","volume":"47","author":"SM Rump","year":"1992","unstructured":"Rump, S. M.: On the Solution of Interval Linear Systems, Computing\n              47 (1992), pp. 337\u2013353.","journal-title":"Computing"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF02418013","volume":"110","author":"G Talenti","year":"1976","unstructured":"Talenti, G.: Best Constant in Sobolev Inequality, Ann. Math. Pure Appl. 110 (1976), pp 353\u2013372.","journal-title":"Ann. Math. Pure Appl"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF03167208","volume":"10","author":"Y Watanabe","year":"1993","unstructured":"Watanabe, Y., and Nakao, M. T.: Numerical Verifications of Solutions for Nonlinear Elliptic Equations, Japan J. Indust. Appl. Math. 10 (1993) pp. 165\u2013178.","journal-title":"Japan J. Indust. Appl. Math"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"2004","DOI":"10.1137\/S0036142996304498","volume":"35","author":"N Yamamoto","year":"1998","unstructured":"Yamamoto, N.: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach\u2019s Fixed-point Theorem, SIAM J. Numer. Anal. 35 (1998) pp. 2004\u20132013.","journal-title":"SIAM J. Numer. Anal"}],"container-title":["Developments in Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1247-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T13:26:16Z","timestamp":1557581176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1247-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789048153503","9789401712477"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1247-7_27","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}