Proof assistant

Related lectures (29)

Page 3 of 3

Covers the Meyers-Serrin theorem in analysis, discussing the conditions for functions in different spaces.

Explores meromorphic functions, poles, residues, orders, divisors, and the Riemann-Roch theorem.

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

Explores variational formulation for measuring information content and divergence between probability distributions.

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

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Covers cohomology in real projective spaces, focusing on associative properties and algebraic structures.