Difference between revisions of "HR (program)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton,[1] and derives its name from ini...") |
(No difference)
|
Revision as of 12:18, 3 September 2016
HR is a computer program that automatically forms mathematical theories by searching for sequences of numbers. It was written by Simon Colton,[1] and derives its name from initials of the mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
See also
External links
- [] @ Wikipedia.org