Title: Lectures on proof verification and approximation algorithms
Subjects: Computer algorithms, Approximation theory, Automatic theorem proving