exact-reals topic
List
exact-reals repositories
trafficstars
aern2
22
Stars
2
Forks
Watchers
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
