Lectures related to Optimal Sequence Selection

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

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

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

Explores optimal transport in heat equations and metric spaces.

Explores curvature, inflection points, and angular functions in plane curves, highlighting the importance of inflection points.

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Explores the importance of soundness and completeness in a propositional proof system.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.