Pages that link to "Item:Q5234267"
From MaRDI portal
The following pages link to Lazy computation with exact real numbers (Q5234267):
Displaying 8 items.
- Computations with effective real numbers (Q817859) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Real computations with fake numbers (Q1599196) (← links)
- Real number computation with committed choice logic programming languages (Q1779564) (← links)
- Lazy algorithms for exact real arithmetic (Q2847781) (← links)
- (Q4218119) (← links)
- (Q4222971) (← links)