AERN-Real-0.10.0.2: arbitrary precision interval arithmetic for approximating exact real numbers

Index - \

\/Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER