We develop a general convergence analysis for a class of inexact Newton-type regularizations for stably solving nonlinear ill-posed problems. Each of the methods under consideration consists of two components: the outer Newton iteration and an inner regularization scheme which, applied to the linearized system, provides the update. In this paper we give a novel and unified convergence analysis which is not confined to a specific inner regularization scheme but applies to a multitude of schemes including Landweber and steepest decent iterations, iterated Tikhonov method, and method of conjugate gradients
We present preconditioned interval Gauss-Siedel method and interval LU decomposition for finding sol...
We survey a general method for solving nonlinear interval systems of equations. In particular, we pa...
International audienceThis paper presents a set of tools for mechanical reasoning of numerical bound...
This thesis deals with the formalization of mathematics in the proof assistant Coq with the purpose ...
We develop a general convergence analysis for a class of inexact Newton-type regularizations for sta...
We consider biperiodic integral equations of the second kind with weakly singular kernels such as th...
We introduce an interval Newton method for bounding solutions of systems of nonlinear equations. It ...
Abstract. Interval iteration can be used, in conjunction with other techniques, for rigorously bound...
Interval iteration can be used, in conjunction with other techniques, for rigorously bounding all so...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
In this thesis we present two new advancements in verified scientific computing using interval analy...
We develop a general convergence analysis for a class of inexact Newton-type regularizations for sta...
Linear systems represent the computational kernel of many models that describe problems arising in t...
The paper is devoted to description of certain ways of extending the domain of convergence of Newto...
Linear systems represent the computational kernel of many models that describe problems arising in t...
We present preconditioned interval Gauss-Siedel method and interval LU decomposition for finding sol...
We survey a general method for solving nonlinear interval systems of equations. In particular, we pa...
International audienceThis paper presents a set of tools for mechanical reasoning of numerical bound...
This thesis deals with the formalization of mathematics in the proof assistant Coq with the purpose ...
We develop a general convergence analysis for a class of inexact Newton-type regularizations for sta...
We consider biperiodic integral equations of the second kind with weakly singular kernels such as th...
We introduce an interval Newton method for bounding solutions of systems of nonlinear equations. It ...
Abstract. Interval iteration can be used, in conjunction with other techniques, for rigorously bound...
Interval iteration can be used, in conjunction with other techniques, for rigorously bounding all so...
International audienceIn this paper we treat the case of some fundamental interval matrix operations...
In this thesis we present two new advancements in verified scientific computing using interval analy...
We develop a general convergence analysis for a class of inexact Newton-type regularizations for sta...
Linear systems represent the computational kernel of many models that describe problems arising in t...
The paper is devoted to description of certain ways of extending the domain of convergence of Newto...
Linear systems represent the computational kernel of many models that describe problems arising in t...
We present preconditioned interval Gauss-Siedel method and interval LU decomposition for finding sol...
We survey a general method for solving nonlinear interval systems of equations. In particular, we pa...
International audienceThis paper presents a set of tools for mechanical reasoning of numerical bound...