Browsing 2024 by MSC "47"
Now showing items 1-2 of 2
-
The Alternating Halpern-Mann Iteration for Families of Maps
[OWP-2024-07] (Mathematisches Forschungsinstitut Oberwolfach, 2024-07-15)We generalize the alternating Halpern-Mann iteration to countably infinite families of nonexpansive maps and prove its strong convergence towards a common fixed point in the general nonlinear setting of Hadamard spaces. ... -
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
[OWP-2024-06] (Mathematisches Forschungsinstitut Oberwolfach, 2024-07-15)In a recent proof mining application, the proof-theoretical analysis of Dykstra's cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This ...