A universal Skolem set of positive lower density
The Skolem Problem asks to decide whether a given integer linear recurrence sequence (LRS) has a zero term. Decidability of this problem has been open for many decades, with little progress since the 1980s. Recently, a new approach was initiated via the notion of a Skolem set - a set of positive int...
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Conference item |
| Γλώσσα: | English |
| Έκδοση: |
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2022
|
| Θέματα: |