{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:44:40Z","timestamp":1755218680307,"version":"3.43.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"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":[[1998,5]]},"DOI":"10.1023\/a:1009979408417","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"115-124","source":"Crossref","is-referenced-by-count":4,"title":["Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations"],"prefix":"10.1007","volume":"4","author":[{"given":"Mitsuhiro T.","family":"Nakao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobito","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshitaka","family":"Watanabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"165984_CR1","doi-asserted-by":"crossref","first-page":"1597","DOI":"10.1002\/nme.1620121010","volume":"12","author":"I. Babu\u0161ka","year":"1978","unstructured":"Babu\u0161ka, I. and Rheinboldt, W. C.: A Posteriori Error Estimates for the Finite Element Method, Int. J. Numer. Meth. Eng.\n12 (1978), pp. 1597\u20131615.","journal-title":"Int. J. Numer. Meth. Eng."},{"key":"165984_CR2","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1137\/0728033","volume":"28","author":"R. E. Bank","year":"1991","unstructured":"Bank, R. E. and Welfert, B. D.: A Posteriori Error Estimates for the Stokes Problem, SIAM J. Numer. Anal.\n28 (1991), pp. 591\u2013623.","journal-title":"SIAM J. Numer. Anal."},{"key":"165984_CR3","volume-title":"Computer Arithmetic and Self-Validating Numerical Methods","author":"H. Behnke","year":"1990","unstructured":"Behnke, H.: The Detemination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II, in: Ullrich, C. (ed.), Computer Arithmetic and Self-Validating Numerical Methods, Academic Press, San Diego, 1990."},{"key":"165984_CR4","volume-title":"The Finite Element Method for Elliptic Problems","author":"P. G. Ciarlet","year":"1978","unstructured":"Ciarlet, P. G.: The Finite Element Method for Elliptic Problems, North-Holland, Amsterdam, 1978."},{"key":"165984_CR5","series-title":"Series in Computational Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61623-5","volume-title":"Finite Element Approximation of the Navier-Stockes Equations","author":"V. Girault","year":"1986","unstructured":"Girault, V. and Raviart, P. A.: Finite Element Approximation of the Navier-Stockes Equations, Series in Computational Mathematics, Springer-Verlag, Berlin, Heidelberg, 1986."},{"key":"165984_CR6","volume-title":"Elliptic Problems in Nonsmooth Domains","author":"P. Grisvard","year":"1985","unstructured":"Grisvard, P.: Elliptic Problems in Nonsmooth Domains, Pitman, Boston, 1985."},{"key":"165984_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00250935","volume":"82","author":"C. O. Horgan","year":"1993","unstructured":"Horgan, C. O. and Payne, L. E.: On Inequalities of Korn, Friedrichs and Babu\u015bka-Aziz, Arch. Rat. Mech. Anal.\n82 (1993), pp. 165\u2013179.","journal-title":"Arch. Rat. Mech. Anal."},{"key":"165984_CR8","unstructured":"Kn\u00fcppel, O.: PROFIL-Programmer's Runtime Optimized Fast Interval Library, Technical Report 93.4, Informatics III, Technical University Hamburg-Harburg, 1993."},{"key":"165984_CR9","volume-title":"Topics for Validated Computations","author":"G. Mayer","year":"1994","unstructured":"Mayer, G.: Result Verification for Eigenvectors and Eigenvalues, in: Herzberger, J. (ed.), Topics for Validated Computations, North-Holland, Amsterdam, 1994."},{"key":"165984_CR10","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\u22121 Type Residual Iteration, Computing Suppl.\n9 (1993), pp. 161\u2013173.","journal-title":"Computing Suppl."},{"key":"165984_CR11","unstructured":"Nakao, M. T., Yamamoto, N., and Watanabe, Y.: Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem, in: Proceedings of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, 1996, pp. 258\u2013264."},{"key":"165984_CR12","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, Preprint Series in Graduate School of Mathematics, Kyushu University, Kyushu-MPS-1997\u201315, 1997."},{"key":"165984_CR13","unstructured":"Nakao, M. T., Yamamoto, N., and Kimura, S.: On Best Constant in the Optimal Error Estimates for the H\n10-Projection into Piccewise Polynomial Spaces, J. Approximation Theory, to appear."},{"key":"165984_CR14","volume-title":"An Introduction to the Mathematical Theory of Finite Elements","author":"J. T. Oden","year":"1976","unstructured":"Oden, J. T. and Reddy, J. N.: An Introduction to the Mathematical Theory of Finite Elements, John Wiley and Sons, New York, 1976."},{"key":"165984_CR15","volume-title":"Spline Analysis","author":"M. H. Schultz","year":"1973","unstructured":"Schultz, M. H.: Spline Analysis, Prentice-Hall, Englewood Cliffs, New Jergey, 1973."},{"key":"165984_CR16","volume-title":"A Review of A Posteriori Error Estimation and Adaptive Mesh-Refinement Techniques","author":"R. Verf\u00fcrth","year":"1996","unstructured":"Verf\u00fcrth, R.: A Review of A Posteriori Error Estimation and Adaptive Mesh-Refinement Techniques, Wiley-Teubner, New York, 1996."},{"key":"165984_CR17","unstructured":"Watanabe, Y.: Guaranteed Error Bounds for Finite Element Solutions of the Stokes Problem, dissertation, Kyushu University, 1996."},{"key":"165984_CR18","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/BF01385765","volume":"65","author":"N. Yamamoto","year":"1993","unstructured":"Yamamoto, N. and Nakao, M. T.: Numerical Verifications of Solutions for Elliptic Equations in Nonconvex Polygonal Domains, Numer. Math.\n65 (1993), pp. 503\u2013521.","journal-title":"Numer. Math."},{"key":"165984_CR19","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0377-0427(94)00096-J","volume":"60","author":"N. Yamamoto","year":"1995","unstructured":"Yamamoto, N. and Nakao, M. T.: Numerical Verifications for Solutions to Elliptic Equations Using Residual Iterations with a Higher Order Finite Element, J. Comput. Appl. Math.\n60 (1995), pp. 271\u2013279.","journal-title":"J. Comput. Appl. Math."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009979408417.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009979408417\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009979408417.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:38:10Z","timestamp":1754473090000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009979408417"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["165984"],"URL":"https:\/\/doi.org\/10.1023\/a:1009979408417","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}