Lectures related to Untitled | EPFL Graph Search

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Explores the composition of applications in mathematics and the importance of understanding their properties.

Explores convergence in law for random variables, including Kolmogorov's theorem and proofs based on probability lemmas.

Explains compression and Kraft inequality in codes and sequences.

Explores variational formulation for measuring information content and divergence between probability distributions.

Covers distributions, derivatives, convergence, and continuity criteria in function spaces.

Covers examples of direct and indirect proofs in mathematics.