aern2-mfun
Version 0.2.9.0 revision 0 uploaded by MichalKonecny.
Package meta
- Synopsis
- Multi-variate real function optimisation and proving
- Description
Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme
- Author
- Eike Neumann, Junaid Rasheed, Michal Konecny
- Bug reports
- https://github.com/michalkonecny/aern2/issues
- Category
- Math
- Copyright
- 2019-2022 Eike Neumann, Junaid Rasheed, Michal Konecny
- Homepage
- https://github.com/michalkonecny/aern2#readme
- Maintainer
- mikkonecny@gmail.com
- Package URL
- n/a
- Stability
- n/a