Skolem problem
In mathematics, the Skolem problem (also called the Skolem-Pisot problem) is the problem of determining whether the values of a constant-recursive sequence include the number zero. The problem can be formulated for recurrences over different types of numbers, including integers, rational numbers, and algebraic numbers.