The following pages link to (Q4813225):
Displaying 9 items.
- Mathematical model and implementation of rational processing (Q313681) (← links)
- Proofs, programs, processes (Q693063) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Efficient exact computation of iterated maps (Q1779563) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)
- (Q5856423) (← links)
