Scientific computing with automatic result verification by Ulrich Kulisch | Menrva Books | MenrvaBooks