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

[ bsd3, library, math, program ] [ Propose Tags ]
Versions [RSS]
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
Category Math
Home page
Bug tracker
Source repo head: git clone
Uploaded by MichalKonecny at 2022-07-14T12:32:58Z
Distributions NixOS:
Reverse Dependencies 2 direct, 0 indirect [details]
Executables aern2-mfun-benchmark-optimisation
Downloads 91 total (7 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]