The following pages link to (Q5718580):
Displaying 7 items.
- Towards computability of elliptic boundary value problems in variational formulation (Q864435) (← links)
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- A computable version of Banach's inverse mapping theorem (Q1006604) (← links)
- (Q4598785) (← links)
- Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus (Q4918048) (← links)
- On Computable Compact Operators on Banach Spaces (Q4921451) (← links)
- A Universal Ordinary Differential Equation (Q5109517) (← links)