Pages that link to "Item:Q2863898"
From MaRDI portal
The following pages link to Coinductive field of exact real numbers and general corecursion (Q2863898):
Displaying 9 items.
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Inductive and coinductive components of corecursive functions in Coq (Q2873661) (← links)
- The Degrees of Constructibility of Cohen Reals (Q3026996) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- On coalgebra of real numbers (Q4256314) (← links)
- Infinite powers and Cohen reals (Q4633518) (← links)
- (Q4736391) (← links)