The following pages link to (Q4681899):
Displaying 27 items.
- A complexity analysis of functional interpretations (Q557798) (← links)
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions (Q819711) (← links)
- A rate of convergence for asymptotic contractions (Q874950) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- An abstract proximal point algorithm (Q1630279) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Uniform asymptotic regularity for Mann iterates. (Q1874614) (← links)
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
- Quantitative translations for viscosity approximation methods in hyperbolic spaces (Q2059976) (← links)
- On subrecursive representation of irrational numbers: contractors and Baire sequences (Q2117793) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- Light Dialectica program extraction from a classical Fibonacci proof (Q2864211) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- (Q3079693) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Mining the Archive of Formal Proofs (Q3453102) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- Revisiting jointly firmly nonexpansive families of mappings (Q5054735) (← links)
- Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces (Q5067638) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- The mathematical significance of proof theory (Q5301856) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
