(Under construction)

This project contributes a number of Haskell packages containing:

• Datatypes and abstractions for approximating exact real numbers, continuous functions and other derived objects. Notable types include:
• intervals with Double or MPFR arbitrary precision endpoints
• intervals with multi-variate polynomial endpoints
• Approximate arithmetic over these structures, focusing on correctness and convergence to exact results with increasing effort parameters. Efficiency should be sufficient for small to medium numerical computational tasks.
• A framework for query-answer dataflow distributed exact numerical and geometric computation with denotational semantics based on domain theory.

This project contains several Haskell packages, which are released using HackageDB for easy installation.

See the wiki for more details.