A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
-
Updated
Nov 6, 2024 - 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
Add a description, image, and links to the exact-reals topic page so that developers can more easily learn about it.
To associate your repository with the exact-reals topic, visit your repo's landing page and select "manage topics."