On Verified Computations of the Optimal Constant in the a Priori Error Estimates for H[sub 0][sup 2]-Projection
From MaRDI portal
Publication:5851588
DOI10.1063/1.3241634zbMath1182.65165OpenAlexW185176060MaRDI QIDQ5851588
Takehiko Kinoshita, Mitsuhiro T. Nakao
Publication date: 22 January 2010
Published in: AIP Conference Proceedings (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1063/1.3241634
finite elementnumerical verificationLegendre polynomialsconstructive a priori error estimatenonlinear fourth order elliptic problems
Nonlinear boundary value problems for linear elliptic equations (35J65) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)