The Beatty sequence is a sequence of numbers that can be derived from the mathematical concept of filling the real line with two sequences whose terms are the floor functions of the multiples of two irrational numbers.
OurBigBook Wikipedia Bot
Documentation