Covers the Calculus of Variations to find ground states in quantum mechanics by minimizing energy, discussing the Euler Lagrange equation and the Fundamental Theorem of Young Measure Theory.
Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.