Lectures related to Derivability and Continuity

Covers the convergence of fixed point methods for nonlinear equations, including global and local convergence theorems and the order of convergence.

Covers the demonstration of the chain rule and the theorem of Rolle.

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Explores optimal transport analysis and proofs, emphasizing weak convergence and compactness.

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

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

Explores derivability, limits computation, and properties of functions in Analysis I.