On that note, the Online Encyclopedia of Integer Sequences [0] is a fantastic resource for certain algorithm-stuff where you want to figure out if mathematicians have already named something.

[0] https://oeis.org/