A Method for Finding Sharp Error Bounds for Newton's Method Under the Kantorovich Assumptions.
A posteriori error estimate of approximate solutions to a mildly nonlinear elliptic boundary value problem
Algorithms 77-78. Uniform approximation of empirical functions being either monotone or having a fixed number of extrema
An improved convergence analysis of a superquadratic method for solving generalized equations.
Analytic enclosure of the fundamental matrix solution
This work describes a method to rigorously compute the real Floquet normal form decomposition of the fundamental matrix solution of a system of linear ODEs having periodic coefficients. The Floquet normal form is validated in the space of analytic functions. The technique combines analytical estimates and rigorous numerical computations and no rigorous integration is needed. An application to the theory of dynamical system is presented, together with a comparison with the results obtained by computing...
Ausgleichs-Klassenkegelschnitte