The following pages link to (Q4222886):
Displaying 14 items.
- Admissible digit sets (Q817861) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- A domain-theoretic approach to computability on the real line (Q1274807) (← links)
- Computable Banach spaces via domain theory (Q1292403) (← links)
- The continuum as a final coalgebra (Q1603817) (← links)
- Contractivity of linear fractional transformations (Q1603893) (← links)
- Real functions computable by finite automata using affine representations. (Q1607295) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Real functions incrementally computable by finite automata (Q1826628) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- Exact arithmetic on the Stern-Brocot tree (Q2457309) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
