The latest version of aern2-real is 0.2.16.1-0.
aern2-real
Version 0.1.2 revision 0 uploaded by MichalKonecny.
Package meta
- Synopsis
- Exact real numbers via Cauchy sequences and MPFR
- Description
Exact real numbers as Cauchy sequences of MPFR approximations.
See module AERN2.Real for further documentation.
- Author
- Michal Konecny
- Bug reports
- n/a
- Category
- Math
- Copyright
- (c) 2015-2019 Michal Konecny
- Homepage
- https://github.com/michalkonecny/aern2
- Maintainer
- Michal Konecny <mikkonecny@gmail.com>
- Package URL
- n/a
- Stability
- experimental