abstract:HR is a software program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton, and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.