Author:
Laohakosol Vichian,Tangsupphathawat Pinthira
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference14 articles.
1. On the positivity set of a linear recurrence sequence;Bell;Israel J. Math.,2007
2. Deux propriétés décidables des suites récurrentes linéaires;Berstel;Bull. Soc. Math. France,1976
3. Asymptotic behaviour of linear recurrences;Burke;Fibonacci Quart.,1981
4. Recurrence Sequences;Everest,2003
5. Point lattices and oscillating recurrence sequences;Gerhold;J. Differ. Equ. Appl.,2005
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Power of Positivity;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. What’s decidable about linear loops?;Proceedings of the ACM on Programming Languages;2022-01-12
3. Algebraic Model Checking for Discrete Linear Dynamical Systems;Lecture Notes in Computer Science;2022
4. A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences;Computer Algebra in Scientific Computing;2022
5. What’s Decidable About Discrete Linear Dynamical Systems?;Lecture Notes in Computer Science;2022