Publication:5188261
From MaRDI portal
zbMath1186.65071MaRDI QIDQ5188261
Takayuki Kubo, Akitoshi Takayasu, Shin'ichi Oishi
Publication date: 10 March 2010
convergenceBanach spacesnumerical examplesnonlinear differential equationsNewton methodresult verificationnonlinear operator equations
Iterative procedures involving nonlinear operators (47J25) Nonlinear boundary value problems for linear elliptic equations (35J65) Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical solutions to equations with nonlinear operators (65J15) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Algorithms with automatic result verification (65G20)
Related Items
Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse