/aern2

A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)

Primary LanguageHaskell

AERN2

A set of Haskell packages for approximating exact real numbers and other validated numerical computation.

A quick start

Libraries

  • aern2-mp: Multiple-precision interval arithmetic (fairly complete)

  • aern2-real: Cauchy real numbers (fairly complete)

  • aern2-fun: Generic operations for real functions

  • aern2-fun-univariate: Continuous real functions of one variable and their polynomial enclosures (currently broken, working version on branch fnreps2020)

Other components

Significant dependencies

  • collect-errors: Type wrapper CN for gracefully propagating numerical errors through expressions

  • mixed-types-num: Bottom-up-typed numerical expressions

  • cdar-mBound: Exact real arithmetic built on floating-point-like intervals based on Haskell Integers. AERN2 currently uses the types Dyadic and Approx.

Other references

  • haskell-reals-comparison: Benchmark(s) comparing the performance of Haskell libraries for exact real computation (work in progress)