
Explore patterns and structures in k-lists, examining natural questions, operations, and relationships within this concrete data structure built using natural numbers.

Explore four fundamental data structures in mathematics: lists, ordered sets, multisets, and sets. Learn their characteristics, applications, and a new notation system for easier recognition and distinction.

Explore combinatorics through historical examples, counting problems, graph theory, and generating functions. Delve into partitions, Fibonacci numbers, Catalan sequence, and famous theorems in this engaging mathematical journey.

Overview of set theory, logic, and computability in late 19th/early 20th century math, covering Cantor's work, Dedekind's constructions, paradoxes, and philosophical schools addressing foundational issues.

Explores three approaches to Hindu Arabic numerals, examining their mathematical foundations and practical applications in arithmetic and number representation.

Explores how arithmetic breaks down with large numbers, revealing most "numbers" are invisible to us. Challenges conventional number theory and questions the nature of natural numbers.

Exploring the complex nature of arithmetic with large numbers, focusing on exponential and triangular complexity, and examining the role of powers in mathematical computations.

Exploring maxel theory as an extension of matrix theory, focusing on multiset views, distributive and associative laws, 1-maxels, and frames. Introduces new terminology and notation for a data structure-oriented approach.

Explore matrices from traditional linear algebra to a novel data structure approach. Learn matrix multiplication, algebra, and a new perspective using pixels and maxels.

Introduction to arrays and matrices as 2D data structures, exploring definitions, examples, and extending to 3D arrays. Distinguishes between arrays and matrices, offering a novel approach to linear algebra.

Explore advanced mathematical data structures, including nested combinations of lists, ordered sets, multisets, and sets. Learn their applications in combinatorics, graph theory, and other mathematical fields.

Efficient algorithm for approximating maximum graph cuts using semidefinite programming and randomized rounding, with guaranteed performance ratio of 0.878.

Explore SDP relaxation for Max-Cut, transforming a quadratic program into a semidefinite program solvable by the Ellipsoid Algorithm. Part of CMU's graduate-level CS Theory Toolkit course.

Explore bit complexity in Linear Programming, feasible solutions, and the implications for NP ∩ coNP. Delve into fundamental concepts for theoretical computer science research.

Explore derandomization techniques using expander graphs to reduce error in randomized algorithms without significantly increasing random bits used.

Explore explicit expander graph constructions, including Gabber-Galil, Ramanujan, and Zig-Zag product expanders. Learn about their properties, applications, and mathematical foundations in theoretical computer science.

Explore eigenvalues of the Laplacian and Markov operator in spectral graph theory, including associated formulas and their applications in theoretical computer science research.

Explore spectral graph theory, focusing on minimizing and maximizing quadratic forms, with connections to graph components and bipartiteness in this graduate-level lecture.

Explores spectral graph theory, focusing on the quadratic form associated with undirected graphs. Covers basic setup and provides examples for graduate-level computer science research.

Explore factorial asymptotics and Stirling's Formula in this graduate-level lecture, covering mathematical techniques for theoretical computer science research.

Explore asymptotic notation in theoretical computer science, covering Big O, Omega, and related concepts. Essential for understanding algorithm efficiency and complexity analysis.