A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
-
Updated
Oct 5, 2026 - Haskell
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
Exact real arithmetic using Dedekind cuts
Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)
Study and implement exact real arithmetic
To associate your repository with the exact-reals topic, visit your repo's landing page and select "manage topics."