The following pages link to (Q5494231):
Displaying 10 items.
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- A computable version of Banach's inverse mapping theorem (Q1006604) (← links)
- On the convergence of Fourier series of computable Lebesgue integrable functions (Q3053227) (← links)
- Computability and Analysis, a Historical Approach (Q3188239) (← links)
- Singular coverings and non‐uniform notions of closed set computability (Q3528149) (← links)
- Computable copies of ℓ p 1 (Q4601032) (← links)
- Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus (Q4918048) (← links)
- Computable Riesz Representation for the Dual of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mn>0</mml:mn><mml:mo>;</mml:mo><mml:mn>1</mml:mn><mml:mo (Q4921441) (← links)
- Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
- Resolution of the uniform lower bound problem in constructive analysis (Q5448617) (← links)
