scientific article; zbMATH DE number 852355

MaRDI QIDQ4868550zbMATH OpenFDO

Authors Mitsuhiro T. Nakao

Publication date 3 June 1996

zbMATH Keywords

error boundsevolution equationsexistence of weak solutionsfinite elementmultivalued iterative procedurenonlinear elliptic boundary value problemsnumerical examplesnumerical verification methods

Mathematics Subject Classification ID

Nonlinear boundary value problems for linear elliptic equations (35J65) Nonlinear parabolic equations (35K55) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Recommendations

• Numerical verifications of solutions for nonlinear elliptic equations
• scientific article; zbMATH DE number 1639666
• scientific article; zbMATH DE number 4200737
• Numerical verification of solutions for nonlinear parabolic problems

Cited in

(19)

• Numerical verification of solutions for variational inequalities
• Numerical enclosure-methods for the weak solution of elliptic problems with unilateral constraints
• Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• scientific article; zbMATH DE number 1639664 (Why is no real title available?)
• scientific article; zbMATH DE number 1694902 (Why is no real title available?)
• Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
• scientific article; zbMATH DE number 440797 (Why is no real title available?)
• scientific article; zbMATH DE number 176421 (Why is no real title available?)
• scientific article; zbMATH DE number 799237 (Why is no real title available?)
• scientific article; zbMATH DE number 835880 (Why is no real title available?)
• A numerical verification method for a system of FitzHugh-Nagumo type
• On exact solution enclosure on ensemble of numerical simulations
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
• Numerical Verification Methods for Solutions of the Free Boundary Problem
• scientific article; zbMATH DE number 5785599 (Why is no real title available?)
• Computer-assisted enclosure methods for elliptic differential equations
• Numerical verifications of solutions for nonlinear elliptic equations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4868550)