Validated Computing

See the initial course contents at the following Github repository

  1. Introduction:
  2. Approximation, Enclosure, Certification