aern2-real (hackage): Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme
Keywords: bsd3|library|math|exact-reals|haskell|numerics|polynomials