Title: Scientific computing, validated numerics, interval methods
Subjects: Mathematical models, Congresses, Scientific computing, Numerics