scientific article; zbMATH DE number 4178671

zbMATH Open0715.65058MaRDI QIDQ3201668FDOQ3201668

Authors: Mitsuhiro T. Nakao 

Publication date: 1990

Title of this publication is not available (Why is that?)

Recommendations

• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• scientific article; zbMATH DE number 440800
• Numerical Verification Methods for Solutions of the Free Boundary Problem
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Publication:3480512

zbMATH Keywords

error estimationinterval arithmeticNewton iterationcondensing operatorinterval methodnumerical verification methodsE-methodself-validating numerical methods

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Boundary value problems for second-order elliptic equations (35J25) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Error bounds for numerical methods for ordinary differential equations (65L70) Error bounds for boundary value problems involving PDEs (65N15) Interval and finite arithmetic (65G30)

Cited In (7)

• Title not available (Why is that?)
• Numerical validation for systems of absolute value equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL 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 Q3201668)