Scientific computing, validated numerics, interval methods by Walter Krämer | Menrva Books | MenrvaBooks