The NumbersWithNames Program.

Simon Colton, Louise A. Dennis

Browse the full ISAIM paper archive.