aern2-mfun-0.2.9.0: Multi-variate real function optimisation and proving

Safe Haskell	None
Language	Haskell2010

AERN2.AD.Differential

Documentation

module AERN2.AD.Type

module AERN2.AD.GenericOperations

module AERN2.AD.MPBallOperations