( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof mining a nonlinear ergodic theorem for Banach spaces (abstract)

, и . Dagstuhl Report, 11 (10): 158-159 (2022)
DOI: 10.4230/DagRep.11.10.151

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ulrich Wilhelm Kohlenbach

Bernhard Kohlenbach

Michael Kohlenbach

Paul Kohlenbach

Andreas Kohlenbach

 

Другие публикации лиц с тем же именем

Generalized metatheorems on the extractability of uniform bounds in functional analysis., и . Mathematics, Algorithms, Proofs, том 05021 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Approximate fixed points of nonexpansive functions in product spaces., и . Mathematics, Algorithms, Proofs, том 05021 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Applied Proof Theory - Proof Interpretations and their Use in Mathematics.. Springer Monographs in Mathematics Springer, (2008)Remarks on Herbrand normal forms and Herbrand realizations.. Arch. Math. Log., 31 (5): 305-317 (1992)R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces, и . Applied Set-Valued Analysis and Optimization, 4 (3): 323-336 (2022)On the computational content of the Bolzano-Weierstraß Principle., и . Math. Log. Q., 56 (5): 508-532 (2010)Term extraction and Ramsey's theorem for pairs., и . J. Symb. Log., 77 (3): 853-895 (2012)Quantitative analysis of a subgradient-type method for equilibrium problems., и . Numer. Algorithms, 90 (1): 197-219 (2022)Rates of convergence for iterative solutions of equations involving set-valued accretive operators., и . Comput. Math. Appl., 80 (3): 490-503 (2020)On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.. CCA, том 2064 из Lecture Notes in Computer Science, стр. 119-145. Springer, (2000)