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

[ bsd3, library, math, program ] [ Propose Tags ]
Versions [RSS] 0.2.9.0
Dependencies aern2-fun (>=0.2.9), aern2-mfun, aern2-mp (>=0.2.9), base (>=4 && <5), collect-errors (>=0.1.5), mixed-types-num (>=0.5.9), vector [details]
License BSD-3-Clause
Copyright 2019-2022 Eike Neumann, Junaid Rasheed, Michal Konecny
Author Eike Neumann, Junaid Rasheed, Michal Konecny
Maintainer mikkonecny@gmail.com
Category Math
Home page https://github.com/michalkonecny/aern2#readme
Bug tracker https://github.com/michalkonecny/aern2/issues
Source repo head: git clone https://github.com/michalkonecny/aern2
Uploaded by MichalKonecny at 2022-07-14T12:32:58Z
Distributions NixOS:0.2.9.0
Reverse Dependencies 2 direct, 0 indirect [details]
Executables aern2-mfun-benchmark-optimisation
Downloads 31 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-07-14 [all 1 reports]