Proof mining in \(L_{1}\)-approximation (Q1874241): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4215634 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Error estimates and Lipschitz constants for best approximation in continuous function spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4112908 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A constructive development of Chebyshev approximation theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Elementary Proof of Jackson's Theorem on Mean-Approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5543516 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the computational complexity of best Chebyshev approximations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002474 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation / rank
 
Normal rank
Property / cites work
 
Property / 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 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837732 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5711891 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4531986 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the continuity of best approximations in the space of integrable functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Strong Unicity of L 1 -Approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems on Cebysev approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Computational Complexity of Best L1-approximation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4485693 / rank
 
Normal rank

Latest revision as of 15:49, 5 June 2024

scientific article
Language Label Description Also known as
English
Proof mining in \(L_{1}\)-approximation
scientific article

    Statements

    Proof mining in \(L_{1}\)-approximation (English)
    0 references
    0 references
    0 references
    22 May 2003
    0 references
    computable analysis
    0 references
    constructive mathematics
    0 references
    proof mining
    0 references
    logical analysis of prima facie non-effective proofs
    0 references
    monotone functional interpretation
    0 references
    J\(L_1\)-approximation
    0 references
    uniform modulus of uniqueness
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references