Lectures related to Distortion of the Hamming Cube

Sparsest Cut: ARV Theorem

Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.

Approximation in Sobolev Spaces

Covers the approximation of functions in Sobolev spaces using smooth functions.

Fourier Inversion Formula

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Error Correction Codes: Theory and Applications

Covers error correction codes theory and applications, emphasizing the importance of minimizing distance for reliable communication.

Coq Workshop: Introduction to Interactive Theorem Proving

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Lecture: Shannon

Covers the basics of information theory, focusing on Shannon's setting and channel transmission.

Geodesic Convexity: Theory and Applications

Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.

Counting with Recurrence Relations

Covers counting with recurrence relations, focusing on bit strings and the Tower of Hanoi problem.