View source for HR (program)

'''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 Ramanujan|Srinivasa Aiyangar Ramanujan]].

== See also ==

* "[[Look at that figure]]"
* [[Mathematics and art]]
* [[Simon Colton]]
* [[Sequence]]
* [[Theory]]

== External links ==

* [https://en.wikipedia.org/wiki/HR_(software) HR (program)] @ Wikipedia.org 


[[Category:Art]]
[[Category:Artificial intelligence]]
[[Category:Computer science]]
[[Category:Computing]]
[[Category:Logic]]
[[Category:Mathematics]]
[[Category:Mathematics and art]]
[[Category:Software]]