 August 26, 2015

 December 09, 2014

A proof of correctness and a runtime bound.
 July 03, 2014

That is, using a constant number of word operations.
 December 29, 2012

Implementing the AKS algorithm.
 August 06, 2012

A guide to understanding the AKS primality test.
 July 08, 2012

With a detailed explanation of the Fermat and MillerRabin primality tests.
 November 27, 2011

One for Green's theorem and the other for Fubini's theorem.
 October 28, 2011

Proper tail recursion's kissing cousin.
 January 06, 2011

Expressed as exercises for a calculus class.
 May 05, 2008

With example code.
 April 23, 2008

Embed Brainfuck in C++.
 November 28, 2007

With a reference Python implementation.
 July 06, 2007

How to solve Pell's equation.