aern2-mfun-0.2.9.0: Multi-variate real function optimisation and proving
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
AERN2.Linear.Matrix.Inverse
Documentation
inverse
::
Matrix
(
CN
MPBall
) ->
Maybe
(
Matrix
(
CN
MPBall
))
Source
#