@hackage / aern2-mfun

Multi-variate real function optimisation and proving

Latest0.2.9.0

Dependencies

library:aern2-mfun (6 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / collect-errors Error monad with a Float instance
- Version: >=0.1.5
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause
@hackage / mixed-types-num Alternative Prelude with numeric and logic expressions typed bottom-up
- Version: >=0.5.9
- License: BSD-3-Clause
@hackage / aern2-mp Multi-precision ball (interval) arithmetic
- Version: >=0.2.9
- License: BSD-3-Clause
@hackage / aern2-fun Generic operations for real functions
- Version: >=0.2.9
- License: BSD-3-Clause

executable:aern2-mfun-benchmark-optimisation (7 dependencies)