Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mihir Vahanwala"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly, the positivity problem asks whether the LRS stays positive from an init
Externí odkaz:
https://doaj.org/article/1c8ef30aaa4a4b82b38348734ea6a73a