Lectures related to Implicit Functions Theorem

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

Explores the application of the Gauss/Green theorem to calculate curve integrals along simple closed curves.

Explores closed curves in topological spaces, emphasizing their properties and significance in mathematics.

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Explores elastic and inelastic collisions, kinetic energy conservation, and work principles with practical examples.

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

Explains the Wronskian and its role in determining linear independence of solutions to differential equations.

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