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
Embedding into l_inf
Graph Chatbot
Related lectures (30)
Previous
Page 3 of 3
Next
Distance Board: Compression
Covers the concept of compression and distance boards.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Convergence in Law: Theorem and Proof
Explores convergence in law for random variables, including Kolmogorov's theorem and proofs based on probability lemmas.
The Languages of Isabelle: Isar, ML, and Scala
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Groups and Numbers: Mathematical Elements on Groups
Explores fundamental properties of groups and numbers, emphasizing equivalence classes and subgroup concepts.
Fundamental Groups
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Linear Independence: The Wronskian Concept
Explains the Wronskian and its role in determining linear independence of solutions to differential equations.
Sparsest Cut: Bourgain's Theorem
Explores Bourgain's theorem on sparsest cut in graphs, emphasizing semimetrics and cut optimization.
Harmonic Forms: Main Theorem
Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.
Jordan Curve Theorem
Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.