A computational study of a class of recursive inequalities

DOI10.4115/jla.2023.15.3arXiv2207.14559OpenAlexW4387006495MaRDI QIDQ6091634

No author found.

Publication date: 27 November 2023

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2207.14559

zbMATH Keywords

rates of convergencesubgradient methodsproof miningrecursive inequalities

Mathematics Subject Classification ID

Convergence and divergence of series and sequences (40A05) Applications of functional analysis in optimization, convex analysis, mathematical programming, economics (46N10) Applications of computability and recursion theory (03D80) Functionals in proof theory (03F10) Fixed-point iterations (47J26)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• Effective asymptotic regularity for one-parameter nonexpansive semigroups
• Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces
• Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
• Strong convergence of projected subgradient methods for nonsmooth and nonstrictly convex minimization
• On the projected subgradient method for nonsmooth convex optimization in a Hilbert space
• Proof mining and effective bounds in differential polynomial rings
• A projected gradient method for vector optimization problems
• Quantitative results on a Halpern-type proximal point algorithm
• Metastability of the proximal point algorithm with multi-parameters
• Quantitative translations for viscosity approximation methods in hyperbolic spaces
• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
• Quantitative analysis of a subgradient-type method for equilibrium problems
• Abstract strongly convergent variants of the proximal point algorithm
• Rates of convergence for iterative solutions of equations involving set-valued accretive operators
• Effective results on compositions of nonexpansive mappings
• The asymptotic behavior of the solutions of the Cauchy problem generated by \(\phi\)-accretive operators
• A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man game
• A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory
• On modified Halpern and Tikhonov-Mann iterations
• On the projection methods for fixed point problems
• A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
• Effective results on nonlinear ergodic averages in CAT spaces
• A metastable dominated convergence theorem
• Local stability of ergodic averages
• Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings
• A subgradient-type method for the equilibrium problem over the fixed point set and its applications
• Effective Rates of Convergence for the Resolvents of Accretive Operators
• Some logical metatheorems with applications in functional analysis
• A Rate of Metastability for the Halpern Type Proximal Point Algorithm
• On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
• Revisiting jointly firmly nonexpansive families of mappings
• Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration
• Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• Norm convergence of multiple ergodic averages for commuting transformations
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Nicht konstruktiv beweisbare Sätze der Analysis
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• Bounds for a nonlinear ergodic theorem for Banach spaces
• Iterative sequences for asymptotically quasi-nonexpansive mappings with error member
• Extension of subgradient techniques for nonsmooth optimization in Banach spaces
• Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces

This page was built for publication: A computational study of a class of recursive inequalities