Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6419870 | Applied Mathematics and Computation | 2016 | 13 Pages |
Abstract
This paper describes a numerical verification of solutions for infinite-dimensional functional equations based on residual forms and Newton-like iteration. The method is based upon a verification method previously developed by the authors. Several computer-assisted proofs for differential equations, including nonlinear partial differential equations, are presented.
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
Yoshitaka Watanabe, Mitsuhiro T. Nakao,