Encyclopedia of Integer Sequences: http://www.research.att.com/%7Enjas/sequences/index.html
In : Philosophy