Proof mining in \(L_{1}\)-approximation
type: Item
instance of: scholarly article
title: Proof mining in \(L_{1}\)-approximation
zbMATH Open document ID: 1026.03040
DOI: 10.1016/S0168-0072(02)00081-7
author: Ulrich Kohlenbach
author: Paulo Oliva
published in: Annals of Pure and Applied Logic
publication date: 2003-05-22T00:00:00Z
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 41A10
Mathematics Subject Classification ID: 41A52
Mathematics Subject Classification ID: 41A50
Mathematics Subject Classification ID: 26E40
zbMATH DE Number: 1915310
zbMATH Keywords: computable analysis
zbMATH Keywords: constructive mathematics
zbMATH Keywords: proof mining
zbMATH Keywords: logical analysis of prima facie non-effective proofs
zbMATH Keywords: monotone functional interpretation
zbMATH Keywords: J\(L_1\)-approximation
zbMATH Keywords: uniform modulus of uniqueness
MaRDI profile type: Publication
cites work: Q4215634
cites work: Error estimates and Lipschitz constants for best approximation in continuous function spaces
cites work: Q4112908
cites work: A constructive development of Chebyshev approximation theory
cites work: Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection
cites work: An Elementary Proof of Jackson's Theorem on Mean-Approximation
cites work: Q5543516
cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
cites work: On the computational complexity of best Chebyshev approximations
cites work: Q4002474
cites work: Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
cites work: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
cites work: 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
cites work: Q3837732
cites work: Q5711891
cites work: Q4531986
cites work: A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
cites work: On the continuity of best approximations in the space of integrable functions
cites work: On Strong Unicity of L 1 -Approximation
cites work: Some theorems on Cebysev approximation
cites work: On the Computational Complexity of Best L1-approximation
cites work: Q4220572
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4485693
description: scientific article; zbMATH DE number 1915310