Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 77 standalone talks · 370 total lectures

All Theory & Algos Algorithms & Data Structures (203)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (24)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Showing 5 of 5 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Linear-size ℓ₁ Sparsifiers

Linear-size ℓ₁ Sparsifiers

Theory & Algos·Research Seminar · Victor Reis · Microsoft Research

Victor Reis Microsoft Research

45:15

Computing with High-Dimensional Vectors

Computing with High-Dimensional Vectors

Theory & Algos·Research Seminar · Pentti Kanerva · Stanford University

Pentti Kanerva Stanford University

59:10

Proof: All Norms Are Convex

Proof: All Norms Are Convex

Theory & Algos·Standalone Lecture · Steve Brunton · University of Washington

Steve Brunton University of Washington

18:51

IncrL's Rotation Planes: Perpendicular

IncrL's Rotation Planes: Perpendicular

Theory & Algos·Standalone Lecture · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

17:22

Lecture 10: Graph Theory III (6.042J)

Lecture 10: Graph Theory III (6.042J)

6.042J · Lec 10 · Marten van Dijk · MIT

Marten van Dijk MIT

1:22:50

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)