Publications
-
DK Report 2022-03, P. Nuspl, V. Pillwein
- A comparison of algorithms for proving positivity of linearly recurrent sequences
-
DK Report 2022-02, P. Nuspl, V. Pillwein
- Simple C^2-finite Sequences: a Computable Generalization of C-finite Sequences
-
DK Report 2021-09, A. Jimenez Pastor, P. Nuspl, V. Pillwein
- An extension of holonomic sequences: C2-finite sequences
-
A. Jiménez-Pastor, P. Nuspl, V. Pillwein. On C^2 finite sequences.
- Association for Computing Machinery (2021). DOI: 10.1145/3452143.3465529.
-
DK Report 2021-02, A. Jiménez-Pastor, P. Nuspl, V. Pillwein
- On C^2 finite sequences