@hackage aern2-mfun dependencies

13 results

Efficient Arrays

Basic libraries

Alternative Prelude with numeric and logic expressions typed bottom-up

Error monad with a Float instance

Multi-precision ball (interval) arithmetic

Generic operations for real functions

Efficient Arrays

Basic libraries

Alternative Prelude with numeric and logic expressions typed bottom-up

Error monad with a Float instance

Multi-precision ball (interval) arithmetic

Multi-variate real function optimisation and proving

Generic operations for real functions