The latest version of aern2-real is 0.2.16.1-0.

aern2-real

Version 0.1.1.0 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-2017 Michal Konecny
Homepage
https://github.com/michalkonecny/aern2
Maintainer
Michal Konecny <mikkonecny@gmail.com>
Package URL
n/a
Stability
experimental

Components