exact-reals

There are 4 repositories under exact-reals topic.

  • michalkonecny/aern2

    A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)

    Language:Haskell21722

  • fbrausse/iRRAM

    Exact real arithmetic in C++

    Language:C++9545

  • fbrausse/kirk

    Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)

    Language:C++0301

  • jeroennoels/exact-real

    Study and implement exact real arithmetic

    Language:Haskell0000