Completing the picture for the Skolem Problem on order-4 linear recurrence sequences

Piotr Bacik

For almost a century, the decidability of the Skolem Problem - that is, the problem of finding whether a given linear recurrence sequence (LRS) has a zero term - has remained open.…