This project contributes several Haskell BSD-licenced libraries. Although they have been extensively tested, they should be considered experimental because some of the main APIs are still evolving. The following is the main contributed library:

• AERN-Net (ChangeLog)
  • Implements DISCERN's distributed exact computation framework based on query-driven data flow networks.
  • Designed to transparently support multiple backends for distributed deployment. Currently has only one backed for parallel deployment on a single node. We plan to add backends for:
    • TCP/IP for ad-hoc clusters
    • MPI backend for supercomputers
    • GLOBUS backend for GRIDs

The following libraries support the main library but are of separate interest:

• AERN-Real (ChangeLog)
  • Provides arbitrary precision interval arithmetic with support for directed intervals.
  • Transparently supports multiple arithmetic backends. Three backends provided:
    • machine double precision floating point numbers
    • pure Haskell arbitrary precision floating point numbers
    • MPFR via hmfpr
• AERN-RnToRm (ChangeLog)
  • Provides arbitrary precision multi-variate function enclosure arithmetic with support for directed enclosures (generalising directed intervals).
  • Supports safely rounding point-wise field operations and some elementary functions, including exp, sqrt, sin and cos.
  • Transparently supports multiple arithmetic backends. Currently only one backend provided:
    • polynomial enclosures in the Chebyshev base with arbitrary precision coefficients
• AERN-RnToRm-Plot (ChangeLog)
  • Provides a GTK/GL widget for visually exploring graphs of univariate function enclosures.