Pages that link to "Item:Q1015372"
From MaRDI portal
The following pages link to Coinduction for exact real number computation (Q1015372):
Displaying 5 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
