July 2014.
* The project will be supervised by Michal Konečný, Aston University.
* The student will receive a 3-year studentship of £15,500/year.
* UK/EU student's fee is covered, non-EU student's fee is £10,914 in
2014/2015.
* The student will act as a teaching ass
Dear all,
I am pleased to announce the first release of
(a large part of) a newly designed AERN.
AERN (approximating exact real numbers) is a set of
Haskell libraries providing arbitrary precision interval arithmetic,
polynomial arithmetic and distributed lazy exact real computation.
Anyone is
Dear all,
I am pleased to announce hmpfr-0.3.2, a new version of Aleš Bizjak's bindings
to the MPFR arbitrary precision floating point arithmetic library. The
changes in this version are quite small but significant:
- support for MPFR 3.0.0 as well as MPFR 2.4.*
- dependency on integer-simple