scientific article
zbMath1260.65052MaRDI QIDQ2917687
Publication date: 1 October 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmnumerical examplesHilbert spacefunctional equationsboundary value problemcomputer-assisted proofsNewton-type iterationnumerical verification methodssequential iteration
Iterative procedures involving nonlinear operators (47J25) Nonlinear boundary value problems for ordinary differential equations (34B15) Nonlinear elliptic equations (35J60) 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)
This page was built for publication:
