activity
20122021
most citedApplying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma

4 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2019

Rates of convergence for iterative solutions of equations involving set-valued accretive operators

Ulrich Kohlenbach, Thomas Powell

This paper studies proofs of strong convergence of various iterative algorithms for computing the unique zeros of set-valued accretive operators that also satisfy some weak form of…