Proof mining in L1-approximation-Reference-Cited by-同舟云学术

Proof mining in L1-approximation

Published:2003-05 Issue:1 Volume:121 Page:1-38
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Kohlenbach Ulrich,Oliva Paulo

Publisher

Elsevier BV

Subject

Logic

Reference29 articles.

1. Gödel's functional (“Dialectica”) interpretation;Avigad,1998

2. Error estimates and Lipschitz constants for best approximation in continuous function spaces;Bartelt;Comput. Math. Appl.,1995

3. B.O. Björnestål, Continuity of the metric projection operator I–III, The Preprint Series of Department of Mathematics, vol. 17, Royal Institute of Technology, Stockholm, TRITA-MAT, 1975.

4. A constructive development of Chebychev approximation theory;Bridges;J. Approx. Theory,1980

5. Lipschitz constants and moduli of continuity for the Chebychev projection;Bridges;Proc. Amer. Math. Soc.,1982

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bounds on strong unicity for Chebyshev approximation with bounded coefficients;Mathematische Nachrichten;2021-12

2. On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness;Computability;2019-09-20

3. Moduli of regularity and rates of convergence for Fejér monotone sequences;Israel Journal of Mathematics;2019-04-30

4. A proof-theoretic approach to certifying skolemization;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019

5. 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09;The Bulletin of Symbolic Logic;2010-03