Αποστολή με SMS: Scientific computing, validated numerics, interval methods