Все публикации

0:18:34

What are hcomp and hfill? – Cubical Agda

0:03:42

Viewing Super Mario through a GAN

0:11:29

Predicting Atari 2600 output from its RAM

0:06:37

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

0:15:42

When do triangles tile by reflections? - The Ross Program

0:10:18

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

0:05:30

What is area? - The Ross Program

0:07:20

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

0:07:30

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

0:06:03

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

0:07:25

A live TeX demonstration

0:08:14

What are the Cauchy-Riemann equations? - Complex Analysis

0:54:05

Some computer-assisted proofs with Agda - Radical Pi

0:06:42

What is a phase plot? - Complex Analysis

0:05:29

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

0:06:50

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

0:07:00

Does symmetry and transitivity imply reflexivity? — The Ross Programs

0:09:42

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

0:09:57

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

0:16:17

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

0:06:25

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

0:05:01

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

0:04:13

What is a Carmichael number? — The Ross Program

0:08:20

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