Scientific computing, validated numerics, interval methods | lit.salon