Ulrich Kohlenbach, Paulo Oliva  Home/Search
Context
Related
| daimi.aau.dk/~kohlenb/oliva.ps brics.dk/~kohlenb/l1mining.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: daimi.aau.dk/~kohlenb/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present another case study in the general project of Proof Mining which means the logical analysis of prima facie non-e#ective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation (developed in [18]) to analyze Cheney's simplification [6] of Jackson's original proof [10] from 1921 of the uniqueness of the best L 1 -approximation of continuous functions f # C[0, 1] by polynomials p # Pn of degree... (Update)
Similar documents (at the sentence level):
77.2%: Effective bounds on strong unicity in L_1-approximation - Kohlenbach, Oliva (2001) (Correct)
45.2%: Proof mining in L 1 -approximation - Ulrich Kohlenbach Paulo (Correct)
39.9%: Proof Mining in Subsystems of Analysis - Oliva (2003) (Correct)
Active bibliography (related documents): More All
1.5: Proof Interpretations and the Computational Content of Proofs - Kohlenbach (2002) (Correct)
1.4: Proof Mining in L_1-approximation (Extended Abstract) - Kohlenbach, Oliva (Correct)
1.3: Proof Mining in Analysis: Computability and Complexity - Oliva (2001) (Correct)
Similar documents based on text: More All
0.4: Proof Mining: A Systematic Way Of Analysing Proofs In - Mathematics Ulrich Kohlenbach (Correct)
0.3: Effective moduli from ineffective uniqueness proofs. An.. - Kohlenbach (1993) (Correct)
0.3: On weak Markov's principle - Kohlenbach (Correct)
BibTeX entry: (Update)
@misc{ kohlenbach-effective,
author = "Ulrich Kohlenbach and Paulo Oliva",
title = "Effective bounds on strong unicity in L_1-approximation",
url = "citeseer.ist.psu.edu/article/kohlenbach01effective.html" }
Citations (may not include all citations):104 Metamathematical investigation of intuitionistic Arithmetic .. (context) - Troelstra - 1973
62 Subsystems of Second Order Arithmetic (context) - Simpson - 1999
56 Complexity theory of real functions (context) - Ko - 1991
44 Uber eine bisher noch nicht benutzte Erweiterung des finiten.. (context) - Godel - 1958
39 Computable Analysis (context) - Weihrauch - 2000
30 Theories of finite type related to mathematical practice (context) - Feferman - 1977
28 Transactions of the American Mathematical Society (context) - Jackson, of et al. - 1921
20 Dialectica (context) - Avigad, Feferman - 1998
10 ective moduli of uniqueness and uniform a--priori estimates .. (context) - Kohlenbach - 1993
10 ective moduli from ine#ective uniqueness proofs (context) - Kohlenbach - 1993
10 A quantitative version of a theorem due to Borwein-Reich-Sha.. - Kohlenbach
9 the continuity of best approximations in the space of integr.. (context) - Kroo - 1978
9 Lipschitz constants and moduli of continuity for the Chebych.. (context) - Bridges - 1982
9 Theory of majorizable and continuous functionals and their u.. (context) - Kohlenbach - 1990
9 ective bounds from ine#ective proofs in analysis: an applica.. (context) - Kohlenbach - 1992
9 the computational content of the Krasnoselski and Ishikawa f.. - Kohlenbach - 2000
8 Error estimates and Lipschitz constants for best approximati.. (context) - Bartelt, Li - 1995
7 An elementary proof of Jackson's theorem on mean-approximati.. (context) - Cheney - 1965
6 Continuity of the metric projection operator i-iii (context) - Bjornestal - 1975
6 AMS Chelsea Publishing (context) - Cheney - 1966
6 On strong unicity of L 1 -approximation (context) - Kroo - 1981
6 A constructive development of Chebychev approximation theory (context) - Bridges - 1980
5 the computational complexity of best Chebyche# approximation (context) - Ko - 1986
5 Higher order reverse mathematics - Kohlenbach - 2000
3 volume 93 of Cambridge Tracts in Mathematics (context) - Pinkus, -Approximation - 1989
3 the uniform modulus of continuity of the operator of best ap.. (context) - Kroo - 1979
2 General theory of approximnation by functions involving a gi.. (context) - Young - 1907
2 Some theorems on Chebyche# approximation (context) - Newman, Shapiro - 1963
Documents on the same site (http://www.daimi.aau.dk/~kohlenb/): More
A note on Goodman's theorem - Kohlenbach (1997) (Correct)
The Use of a Logical Principle of Uniform Boundedness in Analysis - Kohlenbach (1996) (Correct)
On the computational content of the Krasnoselski and Ishikawa.. - Kohlenbach (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC