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. ...

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 ...