Lectures related to Homogeneous Hecke Sets: Equidistribution and Minimality

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

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

Explores modular arithmetic, emphasizing inverses and equations in Z/mZ, with practical examples and exercises.

Covers the concepts of contraposition and contradiction in proofs.

Introduces modular arithmetic, its properties, and applications in cryptography and coding theory.

Covers examples of direct and indirect proofs in mathematics.

Introduces Cartesian product and induction for proofs using integers and sets.

Covers the concept of compression and distance boards.

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

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

Explores distribution and interpolation spaces, showcasing their importance in mathematical analysis and the computations involved.

Explores morphisms in group theory, focusing on proving their existence and uniqueness through mathematical reasoning.

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

Explores the proof of the Prime Number Theorem and its implications in number theory.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Explores the properties and transformations of theta functions, including modular forms and lattice levels.

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

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Covers the basics of analysis, including real numbers, proofs, sets, and operations.

Covers the concept of monodromy action in the context of coverings and explores transitivity and unique classes.