HR (program)
From Wiki @ Karl Jones dot com
Revision as of 12:22, 3 September 2016 by Karl Jones (Talk | contribs)
HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers.
It was written by Simon Colton, who named it in honor of mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
See also
External links
- HR (program) @ Wikipedia.org
