The following pages link to Formula2-computable real numbers (Q2907063):
Displayed 5 items.
- Dedekind cuts and long strings of zeros in base expansions (Q2117788) (← links)
- Computable irrational numbers with representations of surprising complexity (Q2216036) (← links)
- On subrecursive complexity of integration (Q2291373) (← links)
- Continued fractions of primitive recursive real numbers (Q2947235) (← links)
- On a Relative Computability Notion for Real Functions (Q3091465) (← links)