18:34

What are hcomp and hfill? – Cubical Agda

03:42

Viewing Super Mario through a GAN

11:29

Predicting Atari 2600 output from its RAM

06:37

Can an icosahedron be 3-colored? - The Ross Program

15:42

When do triangles tile by reflections? - The Ross Program

10:18

What's ∫ dx/(1+x²) ? - Complex Analysis

05:30

What is area? - The Ross Program

07:20

Can we count connected components via inclusion-exclusion? - The Ross Program

07:30

How do the roots of a polynomial relate to the roots of its derivative? - Complex Analysis

06:03

What math would make a good video game? - SL₂(ℤ)

07:25

A live TeX demonstration

08:14

What are the Cauchy-Riemann equations? - Complex Analysis

54:05

Some computer-assisted proofs with Agda - Radical Pi

06:42

What is a phase plot? - Complex Analysis

05:29

Is 16 an eighth power modulo a prime p? — The Ross Program

06:50

How many primes are 1 modulo 6? — The Ross Program

07:00

Does symmetry and transitivity imply reflexivity? — The Ross Programs

09:42

How many fields of order four are there? — The Ross Program

09:57

When is a prime the sum of two squares? — The Ross Program

16:17

Can a square be divided into an odd number of equal-area triangles? — Monsky's Theorem

05:01

Can we replace equivalent things for equivalent things? — The Ross Program

06:25

If there's an element of order 3, is there an element of order 6? — The Ross Program

04:13

What is a Carmichael number? — The Ross Program

08:20

For d odd, is there a prime of the form 2ⁿ + d? — The Ross Program

09:32

How can I compute discrete logs faster? — Pohlig–Hellman — The Ross Program

07:56

When 𝑝 ≡ 1 (mod 5), what is (5 | 𝑝)? — The Ross Program

08:46

Is 2³⁰ + 3 prime? Miller-Rabin! — The Ross Program

04:10

Is 2²⁵⁶ + 1 prime? Fermat! — The Ross Program

11:46

What does modulo mean? — The Ross Program

08:47

For which 𝑥 is it the case that 𝑥² ≡ 1 mod 221? — The Ross Program

07:02

Do we need all the ring axioms? — The Ross Program

01:59

Using Beamer with Beaudiomer to turn .tex into .mp4

05:45

Is mathematics about answers? — The Ross Program

09:30

Can two friends share a secret in spite of eavesdroppers? — The Ross Program

05:09

For which x, y ∈ ℤ is it the case that x³ = y² + 1? — The Ross Program

08:02

What if we tried to compute gcd(√2,√3) or gcd(log 2,log 3)? — The Ross Program

07:20

What are the most important properties of the determinant? - This Is Linear Algebra

06:27

How should the determinant of AB relate to the product of det A and det B? - This Is Linear Algebra

08:56

Why is the characteristic polynomial a similarity invariant? - This Is Linear Algebra

09:17

What is the determinant of an identity matrix? - This Is Linear Algebra

07:07

Why does determinant (AB) = (det A) (det B)? - This Is Linear Algebra

05:09

How does the characteristic polynomial encode eigenvalues? - This Is Linear Algebra

02:22

Why math?

04:25

How are real analytic functions like holograms? - Week 6 - Lecture 11 - Sequences and Series

04:55

What is a real analytic function? - Week 6 - Lecture 10 - Sequences and Series

11:04

How do Taylor series provide intuition for limits? - Week 6 - Lecture 9 - Sequences and Series

08:15

Approximately, what is cos x when x is near zero? - Week 6 - Lecture 8 - Sequences and Series

08:05

How is Taylor's theorem like the mean value theorem? - Week 6 - Lecture 7 - Sequences and Series

09:53

Why is the radius of convergence of 1/(1+x^2) so small? - Week 6 - Lecture 6 - Sequences and Series

11:43

What is Taylor's theorem? - Week 6 - Lecture 5 - Sequences and Series

04:37

What is the Taylor series for sin x around zero? - Week 6 - Lecture 4 - Sequences and Series

04:40

What is the Taylor series of f centered around a? - Week 6 - Lecture 3 - Sequences and Series

10:13

What is the Taylor series of f around zero? - Week 6 - Lecture 2 - Sequences and Series

14:13

What is better than a linear approximation? - Week 6 - Lecture 1 - Sequences and Series

12:13

What is a formula for the Fibonacci numbers? - Week 5 - Lecture 13 - Sequences and Series

02:11

What is this last week about? - Week 6 Introduction - Sequences and Series

07:00

What happens if I transform 1/(1-x)? - Week 5 - Lecture 12 - Sequences and Series

09:28

What happens if I multiply two power series? - Week 5 - Lecture 11 - Sequences and Series

04:14

Why might I believe that sum (x^n)/(n!) is e^x? - Week 5 - Lecture 10 - Sequences and Series

06:19

Can I integrate a power series? - Week 5 - Lecture 9 - Sequences and Series