Publication

On Rigorous Numerical Computation as a Scala Library