Scientific Computing and Validated Numerics | lit.salon