@hackage / aern2-mfun

Multi-variate real function optimisation and proving

Latest0.2.9.0

About

Metadata

  • Last updated , by MichalKonecny
  • License BSD-3-Clause
  • Categories Mathematics
  • Maintained by: mikkonecny@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme