Pages that link to "Item:Q1607288"
From MaRDI portal
The following pages link to Topological properties of real number representations. (Q1607288):
Displaying 22 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- Uniform continuity of relations and nondeterministic cellular automata (Q524279) (← links)
- Admissible digit sets (Q817861) (← links)
- A semilattice of degrees of computable metrics (Q820483) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- Computability on subsets of metric spaces. (Q1427773) (← links)
- Real functions computable by finite automata using affine representations. (Q1607295) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- On the uniform computational content of computability theory (Q1694010) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- On the complexity of conversion between classic real number representations (Q2106593) (← links)
- Base-complexity classifications of qcb0-spaces1 (Q2799752) (← links)
- On the algebraic structure of Weihrauch degrees (Q4553287) (← links)
- (Q4585068) (← links)
- Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
- A Comparison of Certain Representations of Regularly Closed Sets (Q4916184) (← links)
- Representations of Complete Uniform Spaces via Uniform Domains (Q4916193) (← links)
- Revising Type-2 Computation and Degrees of Discontinuity (Q4921445) (← links)
- A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES (Q5082062) (← links)
- Some hierarchies of <tt>QCB</tt><sub>0</sub>-spaces (Q5740683) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)