Pages that link to "Item:Q4918040"
From MaRDI portal
The following pages link to Effectivity on Continuous Functions in Topological Spaces (Q4918040):
Displaying 7 items.
- Effective continuities on effective topological spaces (Q864437) (← links)
- Computability on continuous, lower semi-continuous and upper semi-continuous real functions (Q1575670) (← links)
- Topological spaces over algorithmic representations of universal algebras (Q2199377) (← links)
- Products of effective topological spaces and a uniformly computable Tychonoff theorem (Q2865068) (← links)
- A uniformly computable Implicit Function Theorem (Q3506324) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- Technical Report: Computation on the Extended Complex Plane and Conformal Mapping of Multiply-connected Domains (Q4918010) (← links)