The following pages link to (Q4531992):
Displayed 5 items.
- The constructive reals as a Java library (Q1779561) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Efficient exact computation of iterated maps (Q1779563) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Q3511455) (← links)