OP-00167 Open Decidability of zero hitting by rational matrix powers NT · decidability · linear recurrence sequences · OpenProblemsInNLA · Skolem problem