scientific article
From MaRDI portal
Publication:3480512
zbMath0702.35102MaRDI QIDQ3480512
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
existencefinite element methodSchauder fixed point theoremautomatic proofsecond order nonlinear elliptic boundary value problems
Nonlinear boundary value problems for linear elliptic equations (35J65) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)
Related Items
On computational proofs of the existence of solutions to nonlinear parabolic problems, Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
