Pages that link to "Item:Q4798201"
From MaRDI portal
The following pages link to Computational complexity on computable metric spaces (Q4798201):
Displayed 21 items.
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Closed choice and a uniform low basis theorem (Q424541) (← links)
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
- Computational complexity of classical solutions of partial differential equations (Q2104279) (← links)
- Quantitative coding and complexity theory of compact metric spaces (Q2106606) (← links)
- Bit-complexity of solving systems of linear evolutionary partial differential equations (Q2117092) (← links)
- Probabilistic computability and choice (Q2346414) (← links)
- Analytical properties of resource-bounded real functionals (Q2509953) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- Relative computability and uniform continuity of relations (Q2930869) (← links)
- Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
- Towards Computational Complexity Theory on Advanced Function Spaces in Analysis (Q3188250) (← links)
- Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces (Q4918004) (← links)
- Complexity of Operators on Compact Sets (Q4918033) (← links)
- On Computable Compact Operators on Banach Spaces (Q4921451) (← links)
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision (Q4995607) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)