Analysing proofs in analysis
暂无分享,去创建一个
[1] Lecons sur les fonctions de variables reelles , 1905 .
[2] John Wesley Young. General theory of approximation by functions involving a given number of arbitrary parameters , 1907 .
[3] A. Dakin,et al. Lecons sur l'approximation des Fonctions d'une Variable Reelle , 1920, The Mathematical Gazette.
[4] Von Kurt Gödel,et al. ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES , 1958 .
[5] Harold S. Shapiro,et al. Some theorems on Čebyšev approximation , 1963 .
[6] J. Rice. The approximation of functions , 1964 .
[7] E. Cheney. Introduction to approximation theory , 1966 .
[8] H. Luckhardt. Extensional Gödel Functional Interpretation , 1973 .
[9] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[10] H. Luckhardt. Extensional Godel functional interpretation;: A consistency proof of classical analysis , 1973 .
[11] Anne Sjerp Troelstra,et al. Note on the fan theorem , 1974, Journal of Symbolic Logic.
[12] Solomon Feferman,et al. Theories of Finite Type Related to Mathematical Practice , 1977 .
[13] Douglas S. Bridges. Recent Progress in Constructive Approximation Theory , 1982 .
[14] Douglas S. Bridges,et al. Lipschitz constants and moduli of continuity for the Chebyshev projection , 1982 .
[15] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[16] Marc Bezem,et al. Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals , 1985, Journal of Symbolic Logic.
[17] H. Blatt. Lipschitz continuity and strong unicity in G. Freud's work , 1986 .
[18] Ker-I Ko. On the computational complexity of best Chebyshev approximations , 1986, J. Complex..
[19] Marc Bezem. Equivalence of bar recursors in the theory of functionals of finite type , 1988, Arch. Math. Log..
[20] Ker-I Ko,et al. Complexity Theory of Real Functions , 1991, Progress in Theoretical Computer Science.
[21] Ulrich Kohlenbach,et al. Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization , 1992, Journal of Symbolic Logic.
[22] Ulrich Kohlenbach,et al. Pointwise hereditary majorization and some applications , 1992, Arch. Math. Log..
[23] Ulrich Kohlenbach,et al. Approximation , 2018, Passive, Active, and Digital Filters.
[24] Ulrich Kohlenbach,et al. Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation , 1993, Ann. Pure Appl. Log..