OpenAlex
Uniform explicit Stewart theorem on prime factors of linear recurrences
Work