Proof Mining: A Systematic Way of Analysing Proofs in Mathematics

Proof Mining: A Systematic Way of Analysing Proofs in Mathematics (2002)

Cached

Download Links

by Ulrich Kohlenbach , Paulo B. Oliva

Citations:

BibTeX

@MISC{Kohlenbach02proofmining:,
    author = {Ulrich Kohlenbach and Paulo B. Oliva},
    title = {Proof Mining: A Systematic Way of Analysing Proofs in Mathematics},
    year = {2002}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

342	Constructive Analysis - Bishop, Bridges - 1985
200	Introduction to Computable Analysis - Weihrauch - 2000
146	Complexity Theory of Real Functions - Ko - 1991
115	Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, volume 344 of LNM - Troelstra - 1973
112	eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12 - Godel, Uber - 1958
67	Foundations of Constructive Mathematics: Metamathematical Studies, Ergebnisse der Mathematik und ihrer Grenzgebiete - Beeson - 1985
53	Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics, Recursive Function Theory - Spector
52	Gödel’s functional (“Dialectica”) interpretation - Avigad, Feferman
50	Refined Program Extraction from Classical Proofs - Berger, Buchholz, et al. - 2002
43	Proof Theory and Logical Complexity - Girard - 1987
38	Mean Value Methods in Iteration - Mann - 1953
36	Uniformly convex spaces - Clarkson - 1936
36	Hereditarily majorizable functionals of finite type - Howard - 1973
36	Analysing proofs in analysis - Kohlenbach - 1993
26	Strongly majorizable functionals of finite type: a model of bar recursion containing discontinuous functionals - Bezem - 1985
26	Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals - Kohlenbach - 1996
24	Uniform Convexity, Hyperbolic Geometry and Nonexpansive Mappings - Goebel, Reich - 1984
22	Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization - Kohlenbach - 1992
21	Krasnoselski-Mann iterations in normed spaces - Borwein, Reich, et al. - 1992
20	Mathematics as a numerical language - Bishop - 1970
17	Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken - Luckhardt - 1989
16	Proof theory and computational analysis - Kohlenbach - 1998
14	Nonexpansive nonlinear operators in a Banach space - Browder - 1965
14	A Comparison of Various Definitions of Contractive Mappings - Rhoades
13	Iteration processes for nonexpansive mappings - Goebel, Kirk - 1983
13	A quantitative version of a theorem due to Borwein-Reich-Shafrir - Kohlenbach
13	Uniform asymptotic regularity for Mann iterates - Kohlenbach
12	Fixed points and iteration of a nonexpansive mapping in a Banach space - Ishikawa - 1976
12	Relative constructivity - Kohlenbach - 1998
12	On the no-counterexample interpretation - Kohlenbach - 1999
11	A note on segmenting Mann iterates - Groetsch - 1972
11	Two remarks on the method of successive approximation - Krasnoselski - 1955
10	Mann iterates of directionally nonexpansive mappings in hyperbolic spaces - Kohlenbach, Leu¸stean
10	Nonexpansive iterations in hyperbolic spaces, Nonlinear Analysis - Reich, Shafrir - 1990
9	The use of a logical principle of uniform boundedness in analysis - Kohlenbach - 1999
8	Kreisel’s “unwinding” program - Feferman - 1996
8	Note on a class of polynomials of approximation - JACKSON - 1921
8	Krasnosel’skii iteration process in hyperbolic spaces - Kirk - 1982
7	Godel's functional ("Dialectica") interpretation, Handbook of Proof Theory - Avigad, Feferman - 1998
7	1995a], Error estimates and Lipschitz constants for best approximation in continuous function spaces - Bartelt, Li
7	The solution by iteration of nonlinear functional equations in Banach spaces - Browder, Petryshyn - 1966
7	On fixed and periodic points under contractive mappings - Edelstein
7	Nonexpansive mappings, asymptotic regularity and successive approximations - Edelstein, O’Brien - 1978
7	Handbook of Metric Fixed Point Theory - Kirk, Sims - 2001
6	The rate of asymptotic regularity is 0( # n ). Theory and applications of nonlinear operators of accretive and monotone type - Baillon, Bruck - 1996
6	Nonexpansive mappings and asymptotic regularity - Kirk
6	Approximate fixed points for nonexpansive mappings in uniformly convex spaces. Annales Polonici Mathematici 51 - Kirk, Martinez-Yanez - 1990
6	Theory of majorizable and continuous functionals and their use for the extraction of bounds from non-constructive proofs: effective moduli of uniqueness for best approximations from ineffective proofs of uniqueness (german - Kohlenbach - 1990
6	New effective moduli of uniqueness and uniform a–priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Numerical Functional Analysis and Optimization - Kohlenbach - 1993
6	1978], On the continuity of best approximation in the space of integrable functions - Kroó