Pages that link to "Item:Q1015372"
From MaRDI portal
The following pages link to Coinduction for exact real number computation (Q1015372):
Displaying 13 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Proofs, programs, processes (Q693063) (← links)
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Typed vs. Untyped Realizability (Q3178273) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- (Q4222971) (← links)
- Limits of real numbers in the binary signed digit representation (Q5043582) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Lazy computation with exact real numbers (Q5234267) (← links)
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (Q5458427) (← links)
- Logical Approaches to Computational Barriers (Q5898820) (← links)