- The Fundamental Theorem of Algebra via Connectedness
A topological proof.

- Curvature computations with moving frames
With examples from general relativity.

- A Gentle Introduction to Erasure Codes
A nice application of linear and abstract algebra.

- Why is the Quintic Unsolvable?
An explanation that doesn’t require a semester’s worth of abstract algebra.

- Computing Integer Roots
Generalizing the integer square root algorithm.

- Sampling the Visible Sphere
As cited in *Physically Based Rendering*, Third Edition.

- Computing the Integer Square Root
A proof of correctness and a run-time bound.

- Finding the Most Significant Set Bit of a Word in Constant Time
That is, using a constant number of word operations.

- Primality Testing in Polynomial Time (Ⅱ)
Implementing the AKS algorithm.

- Primality Testing in Polynomial Time (Ⅰ)
A guide to understanding the AKS primality test.

- An Introduction to Primality Testing
With a detailed explanation of the Fermat and Miller-Rabin primality tests.

- A Pair of Counterexamples in Vector Calculus
One for Green's theorem and the other for Fubini's theorem.

- Understanding Evlis Tail Recursion
Proper tail recursion's kissing cousin.

- An Elementary Way to Calculate the Gaussian Integral
Expressed as exercises for a calculus class.

- Parallelizing FLAC Encoding
With example code.

- bfpp
Embed Brainfuck in C++.

- Finding the Longest Palindromic Substring in Linear Time
With a reference Python implementation.

- A Foray into Number Theory with Haskell
How to solve Pell's equation.