The following pages link to Computing with infinite objects (Q1158755):
Displaying 13 items.
- A faithful computational model of the real numbers (Q671999) (← links)
- Admissible digit sets (Q817861) (← links)
- On the complexity of online computations of real functions (Q1186506) (← links)
- A refined model of computation for continuous problems (Q1265141) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Constructing a quasi-uniform function space (Q1903595) (← links)
- A certifying square root and division elimination (Q2520687) (← links)
- (Q3704795) (← links)
- Computability of Self-Similar Sets (Q4238423) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
- Program extraction in exact real arithmetic (Q5740678) (← links)
