The latest version of AERN-Basics is 2011.1.0.1-0.
AERN-Basics
Version 2011.1 revision 0 uploaded by MichalKonecny.
Package meta
- Synopsis
- foundational type classes for approximating exact real numbers
- Description
Type-classes abstracting various kinds of approximations for exact entities:
those that are near to the exact value due to limited granularity (eg floating point numbers with fixed granularity (aka precision) approximating real numbers or bounded-degree polynomials with floating point coefficients approximating continuous functions)
those that somehow enclose the exact entity, usually using a pair of endpoints
Type classes are provided to capture:
the partial, sometimes semidecidable, natural ordering (<=) used in relation to nearness
the partial, sometimes semidecidable, refinement ordering (⊑) used in relation to enclosure
- Author
- Michal Konecny (Aston University)
- Bug reports
- n/a
- Category
- Data, Math
- Copyright
- (c) 2010 Michal Konecny, Jan Duracz
- Homepage
- http://code.google.com/p/aern/
- Maintainer
- mikkonecny@gmail.com
- Package URL
- n/a
- Stability
- experimental