Scientific Computation with Automatic Result Verification by Ulrich Kulisch | Menrva Books | MenrvaBooks