Rigorous Nums BSD

Members:

3

Research in rigorous numeric computations on JVM. This may include implementation of intervals, Taylor models, methods to estimate rounding errors in non-rigorous computations. BSD license permits to use the results of the research in interval run-time of Scala or Fortress.