Results 1  10
of
10
New Effective Moduli of Uniqueness and Uniform aPriori Estimates for Constants of Strong Unicity by Logical Analysis of Known Proofs in Best Approximation Theory
, 1993
"... Let U and V be complete separable metric spaces, Vu compact in V and G : U IR a continuous function. For a large class of (usually nonconstructive) proofs of uniqueness theorems Vu G(u, v1 ) = inf G(u, v) = G(u, v2) v1 = v2 one can extract an e#ective modulus of uniqueness # by ..."
Abstract

Cited by 16 (12 self)
 Add to MetaCart
Let U and V be complete separable metric spaces, Vu compact in V and G : U IR a continuous function. For a large class of (usually nonconstructive) proofs of uniqueness theorems Vu G(u, v1 ) = inf G(u, v) = G(u, v2) v1 = v2 one can extract an e#ective modulus of uniqueness # by logical analysis, i.e.
Effective uniform bounds from proofs in abstract functional analysis
 CIE 2005 NEW COMPUTATIONAL PARADIGMS: CHANGING CONCEPTIONS OF WHAT IS COMPUTABLE
, 2005
"... ..."
Proof mining in L_1approximation
, 2001
"... In this paper we present another case study in the general project of proof mining which means the logical analysis of prima facie noneffective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation (developed in [17]) to a ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
In this paper we present another case study in the general project of proof mining which means the logical analysis of prima facie noneffective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation (developed in [17]) 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 # n. Cheney's proof is noneffective in the sense that it is based on classical logic and on the noncomputational principle WKL (binary Konig lemma). The result of our analysis provides the first e#ective (in all parameters f, n and #) uniform modulus of uniqueness (a concept which generalizes `strong uniqueness' studied extensively in approximation theory). Moreover, the extracted modulus has the optimal #dependency as follows from Kroo [21]. The paper also describes how the uniform modulus of uniqueness can be used to compute the best L 1 approximations of a fixed f # C[0, 1] with arbitrary precision. We use this result to give a complexity upper bound on the computation of the best L 1 approximation in [24].
Approximation in Normed Linear Spaces
, 2000
"... A historical account is given of the development of methods for solving approximation problems set in normed linear spaces. Approximation of both real functions and real data is considered, with particular reference to L p (or l p ) and Chebyshev norms. As well as coverage of methods for the usu ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
A historical account is given of the development of methods for solving approximation problems set in normed linear spaces. Approximation of both real functions and real data is considered, with particular reference to L p (or l p ) and Chebyshev norms. As well as coverage of methods for the usual linear problems, an account is given of the development of methods for approximation by functions which are nonlinear in the free parameters, and special attention is paid to some particular nonlinear approximating families. 1 Introduction The purpose of this paper is to give a historical account of the development of numerical methods for a range of problems in best approximation, that is problems which involve the minimization of a norm. A treatment is given of approximation of both real functions and data. For the approximation of functions, the emphasis is on the use of the Chebyshev norm, while for data approximation, we consider a wider range of criteria, including the other l ...
On the Computational Complexity of Best ...Approximation
 In preparation
"... We give an upper bound on the complexity of the sequence (p n ) n#N of best L 1  approximations of a polynomialtime computable function on the interval [0, 1] from the space of polynomials of bounded degree Pn . The analysis makes essential use of the modulus of uniqueness for L 1 approximation p ..."
Abstract
 Add to MetaCart
We give an upper bound on the complexity of the sequence (p n ) n#N of best L 1  approximations of a polynomialtime computable function on the interval [0, 1] from the space of polynomials of bounded degree Pn . The analysis makes essential use of the modulus of uniqueness for L 1 approximation presented in [KO01]. 1
Proof Mining in L_1approximation (Extended Abstract)
"... We report on the extraction (presented in [KO01]) of the first e#ective uniform modulus of uniqueness (this notion is defined in section 2) for best polynomial L 1approximation of continuous functions from the ine#ective proof of uniqueness due to Cheney. The ..."
Abstract
 Add to MetaCart
We report on the extraction (presented in [KO01]) of the first e#ective uniform modulus of uniqueness (this notion is defined in section 2) for best polynomial L 1approximation of continuous functions from the ine#ective proof of uniqueness due to Cheney. The
approximation
"... New effective moduli of uniqueness and uniform a–priori estimates for constants of strong unicity by logical analysis of known proofs in best ..."
Abstract
 Add to MetaCart
New effective moduli of uniqueness and uniform a–priori estimates for constants of strong unicity by logical analysis of known proofs in best