Pages that link to "Item:Q688431"

The following pages link to Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431):

Displaying 27 items.

• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (Q472316) (← links)
• Bounded functional interpretation and feasible analysis (Q866559) (← links)
• Constructing local optima on a compact interval (Q868665) (← links)
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
• Continuity and Lipschitz constants for projections (Q1044668) (← links)
• Problems, solutions, and completions (Q1044674) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• Convexity and unique minimum points (Q1712926) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Some conservation results on weak König's lemma (Q1849864) (← links)
• Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization (Q1874064) (← links)
• Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
• Toward a clarity of the extreme value theorem (Q2254563) (← links)
• Moduli of regularity and rates of convergence for Fejér monotone sequences (Q2317680) (← links)
• A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
• Bounded functional interpretation (Q2488269) (← links)
• Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
• A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR (Q2769522) (← links)
• On the computational content of convergence proofs via Banach limits (Q2941598) (← links)
• Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
• Logical aspects of rates of convergence in metric spaces (Q3655262) (← links)
• Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
• Revisiting jointly firmly nonexpansive families of mappings (Q5054735) (← links)
• General logical metatheorems for functional analysis (Q5442144) (← links)
• The fan theorem and unique existence of maxima (Q5480634) (← links)
• Bounds on strong unicity for Chebyshev approximation with bounded coefficients (Q6094024) (← links)