Энциклопедия последовательностей целых чисел.
Как-то на спецкурсе по теории групп мы занимались уравнением классов. Когда надо было проверить результат работы программы, искавшей его решения, в этой энциклопедии была найдена зависимость числа решений от количества переменных.