Topics in Validated Computations | lit.salon