Seol mar théacs é seo: Scientific computing, validated numerics, interval methods /