|
9
|
General logical metatheorems for functional analysis
– Philipp Gerhardy, Ulrich Kohlenbach
- 2008
|
|
27
|
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
– Ulrich Kohlenbach
- 2008
|
|
112
|
eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12
– K Godel, Uber
- 1958
|
|
26
|
Strongly majorizable functionals of finite type: a model of bar recursion containing discontinuous functionals
– M Bezem
- 1985
|
|
65
|
Interpretation of analysis by means of constructive functionals of finite type
– Georg Kreisel
- 1959
|
|
53
|
Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics, Recursive Function Theory
– C Spector
|
|
52
|
Gödel's Functional ("Dialectica") Interpretation
– Jeremy Avigad, Solomon Feferman
- 1998
|
|
10
|
Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces
– Ulrich Kohlenbach, Laurentiu Leustean
- 2002
|
|
11
|
Two remarks on the method of successive approximation
– M A Krasnoselski
- 1955
|
|
11
|
A note on segmenting Mann iterates
– C W Groetsch
- 1972
|
|
13
|
Uniform asymptotic regularity for Mann iterates
– Ulrich Kohlenbach
- 2002
|
|
13
|
Iteration processes for nonexpansive mappings
– K Goebel, W A Kirk
- 1983
|
|
12
|
Proof Mining: A Systematic Way of Analysing Proofs in Mathematics
– Ulrich Kohlenbach, Paulo B. Oliva
- 2002
|
|
21
|
Krasnoselski-Mann iterations in normed spaces
– J Borwein, S Reich, I Shafrir
- 1992
|
|
8
|
Krasnosel’skii iteration process in hyperbolic spaces
– W A Kirk
- 1982
|
|
5
|
A quadratic rate of asymptotic regularity for CAT(0)-spaces
– L Leu¸stean
|
|
38
|
Mean Value Methods in Iteration
– W R Mann
- 1953
|
|
10
|
Bounded functional interpretation
– Fernando Ferreira, Paulo Oliva
- 2005
|
|
36
|
Analyzing Proofs in Analysis
– Ulrich Kohlenbach
- 1993
|
