Effective Rates of Convergence for the Resolvents of Accretive Operators

DOI10.1080/01630563.2017.1349146zbMath1491.47052OpenAlexW2735971431MaRDI QIDQ4602172

Angeliki Koutsoukou-Argyraki

Publication date: 26 January 2018

Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01630563.2017.1349146

zbMATH Keywords

rate of convergenceaccretive operatorresolventproof miningcomputable bound extraction

Mathematics Subject Classification ID

Nonlinear accretive operators, dissipative operators, etc. (47H06) Nonlinear spectral theory, nonlinear eigenvalue problems (47J10) Functionals in proof theory (03F10)

Related Items (7)

An abstract proximal point algorithm ⋮ Revisiting jointly firmly nonexpansive families of mappings ⋮ Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ A computational study of a class of recursive inequalities ⋮ Rates of convergence for iterative solutions of equations involving set-valued accretive operators ⋮ Unnamed Item ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy

This page was built for publication: Effective Rates of Convergence for the Resolvents of Accretive Operators