Pages that link to "Item:Q3431543"
From MaRDI portal
The following pages link to Affine functions and series with co-inductive real numbers (Q3431543):
Displaying 8 items.
- Proofs, programs, processes (Q693063) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- Real Number Calculations and Theorem Proving (Q3543660) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Constructive Mathematics and Functional Programming (Abstract) (Q5458392) (← links)
