HR (program)

From Wiki @ Karl Jones dot com
Revision as of 13:18, 3 September 2016 by 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...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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