Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Untitled
Graph Chatbot
Related lectures (29)
Previous
Page 3 of 3
Next
Optimal Transport: Heat Equation and Metric Spaces
Explores optimal transport in heat equations and metric spaces.
Convergence of Fourier Series
Explores the convergence of Fourier series in L² space with trigonometric polynomials and approximation theorems.
Linear Algebra: Equivalence and Calculations
Explains equivalence in linear algebra and set calculations with illustrative examples.
Compression: Kraft Inequality
Explains compression and Kraft inequality in codes and sequences.
Zig Zag Lemma
Covers the Zig Zag Lemma and the long exact sequence of relative homology.
Generalization Error
Explores tail bounds, information bounds, and maximal leakage in the context of generalization error.
Proofs and Computations: A Journey Through Mathematical Theory
Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.
Learning-aided Program Reasoning
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Coq Workshop: Inductive Data Types and Proofs
Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.
