Difference between revisions of "HR (program)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) (→External links) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
'''HR''' is a [[computer program]] that automatically forms [[Theory|mathematical theories]] by searching for [[Sequence|sequences of numbers]]. | '''HR''' is a [[computer program]] that automatically forms [[Theory|mathematical theories]] by searching for [[Sequence|sequences of numbers]]. | ||
| − | It was written by [[Simon Colton]], who named it in honor of mathematicians [[Godfrey Harold Hardy]] and [[Srinivasa Aiyangar Ramanujan]]. | + | It was written by [[Simon Colton]], who named it in honor of mathematicians [[Godfrey Harold Hardy]] and [[Srinivasa Ramanujan|Srinivasa Aiyangar Ramanujan]]. |
== See also == | == See also == | ||
| Line 13: | Line 13: | ||
== External links == | == External links == | ||
| − | * [https://en.wikipedia.org/wiki/HR_(software) HR ( | + | * [https://en.wikipedia.org/wiki/HR_(software) HR (software)] @ Wikipedia.org |
Latest revision as of 16:24, 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, who named it in honor of mathematicians Godfrey Harold Hardy and Srinivasa Aiyangar Ramanujan.
See also
External links
- HR (software) @ Wikipedia.org
