HR_(software)
HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton,[1]: 34–36 and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.