TY - GEN
T1 - On C2-Finite Sequences
AU - Jimenez Pastor, Antonio
AU - Nuspl, Philipp
AU - Pillwein, Veronika
PY - 2021
Y1 - 2021
N2 - Holonomic sequences are widely studied as many objects interesting to mathematicians and computer scientists are in this class. In the univariate case, these are the sequences satisfying linear recurrences with polynomial coefficients and also referred to as D-finite sequences. A subclass are C-finite sequences satisfying a linear recurrence with constant coefficients.We investigate the set of sequences which satisfy linear recurrence equations with coefficients that are C-finite sequences. These sequences are a natural generalization of holonomic sequences. In this paper, we show that C2-finite sequences form a difference ring and provide methods to compute in this ring.
AB - Holonomic sequences are widely studied as many objects interesting to mathematicians and computer scientists are in this class. In the univariate case, these are the sequences satisfying linear recurrences with polynomial coefficients and also referred to as D-finite sequences. A subclass are C-finite sequences satisfying a linear recurrence with constant coefficients.We investigate the set of sequences which satisfy linear recurrence equations with coefficients that are C-finite sequences. These sequences are a natural generalization of holonomic sequences. In this paper, we show that C2-finite sequences form a difference ring and provide methods to compute in this ring.
UR - https://www.scopus.com/pages/publications/85111131925
U2 - 10.1145/3452143.3465529
DO - 10.1145/3452143.3465529
M3 - Conference proceedings
SN - 9781450383820
T3 - ISSAC'21
SP - 217
EP - 224
BT - Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation
A2 - Frédéric Chyzak, George Labahn, null
PB - Association for Computing Machinery
CY - New York, NY, USA
ER -