Introduction to Proof Scripting: Basics of Ltac

Related lectures (50)

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

Explores Cheeger's inequality and its implications in graph theory.

Explores the Rockafellar Theorem in optimal transport, focusing on c-cyclical monotonicity and convex functions.

Covers fundamental topics in calculus of variations, including minimizers and the Euler-Lagrange equation.

Explores the Closest Vector Problem and Voronoi cells in lattice reduction algorithms.

Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.

Covers the joint equidistribution of CM points and the ergodic decomposition theorem in compact abelian groups.

Covers the properties and applications of the Fourier transform and its relation to Heisenberg's uncertainty principle.

Covers the Hadamard factorisation theorem for entire functions of order at most 1.

Explores the applications of Green's Theorem in 2D, emphasizing the importance of regular domains for successful integration.

Page 3 of 3