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

Home

Lecture

Mathematical Recursion: Induction and Recursion

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (51)

Statistical Theory: Maximum Likelihood Estimation Log in to Mediaspace to watch this video

Explores the consistency and asymptotic properties of the Maximum Likelihood Estimator, including challenges in proving its consistency and constructing MLE-like estimators.

Integration on H_pxH and Arithmetic Log in to Mediaspace to watch this video

Explores integration on H_pxH and arithmetic properties, including norms, structures, and polynomial factorization.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

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.

Complex Functions: Norm Equivalence Log in to Mediaspace to watch this video

Explores norm equivalence in complex functions, covering homogeneity and triangular inequality.

Introduction to Proof Scripting: Basics of Ltac Log in to Mediaspace to watch this video

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

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.

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.

Proof of Strong Duality Log in to Mediaspace to watch this video

Covers the proof of strong duality in optimization problems and provides examples of Rayleigh quotient optimization.

Calculus of Variations: Some Topics Log in to Mediaspace to watch this video

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

Diophantine Approximation: Minbowski's Theorem Log in to Mediaspace to watch this video

Covers Minbowski's Theorem on Diophantine Approximation and Gram-Schmidt orthogonalization.

Page 3 of 3