Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Introduction to Proofs

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (55)

Geodesic Convexity: Theory and Applications Log in to Mediaspace to watch this video

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

Sub/Super Harmonic Functions Log in to Mediaspace to watch this video

Explores sub/super harmonic functions and their applications in a theoretical context.

Fundamental Solutions Log in to Mediaspace to watch this video

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

Zig Zag Lemma Log in to Mediaspace to watch this video

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Proof of Explicit Formula Log in to Mediaspace to watch this video

Covers the proof of the explicit formula for the non-vanishing of the zeta function at the 1-line.

Complex Integration and Cauchy's Theorem Log in to Mediaspace to watch this video

Discusses complex integration and Cauchy's theorem, focusing on integrals along curves in the complex plane.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Untitled Log in to Mediaspace to watch this video

Integration by Substitution Log in to Mediaspace to watch this video

Explores integration by substitution with proofs and examples on anti-derivatives and function equivalence.

Formal Logic: Proofs and Sets Log in to Mediaspace to watch this video

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

Geodesics in Wasserstein Space Log in to Mediaspace to watch this video

Explores geodesics in the Wasserstein space, emphasizing constant speed geodesics and their properties.

Optimization Techniques: Local and Global Extrema Log in to Mediaspace to watch this video

Discusses optimization techniques, focusing on local and global extrema in functions.

Relative Homology: Exact Sequence Log in to Mediaspace to watch this video

Covers the long exact sequence of relative homology groups and chain complexes.

Distribution & Interpolation Spaces Log in to Mediaspace to watch this video

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

Monstrous Moonshine Log in to Mediaspace to watch this video

Explores Monstrous Moonshine, focusing on the 1979 discovery and its mathematical connections.

Fourier Transform: Properties and Applications Log in to Mediaspace to watch this video

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

Variational Problems: Quasi-Convexity Log in to Mediaspace to watch this video

Explores the theory of quasi-convexity in variational problems from continuum mechanics, discussing its principles, applications, and relationship with convexity.

Lipschitz Maps and Compact Domains Log in to Mediaspace to watch this video

Covers Lipschitz maps, compact domains, changing variables, counting problems, and probability of ideals.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

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

Page 2 of 3