@inproceedings{RISC6348,author = {Antonio Jiménez-Pastor and Philipp Nuspl and Veronika Pillwein},
title = {{On C2-Finite Sequences}},
booktitle = {{Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation}},
language = {english},
abstract = {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.},
series = {ISSAC '21},
pages = {217--224},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
isbn_issn = {ISBN 9781450383820},
year = {2021},
editor = {Frédéric Chyzak and George Labahn},
refereed = {yes},
keywords = {holonomic sequences, algorithms, closure properties, difference equations},
length = {8},
url = {https://doi.org/10.1145/3452143.3465529}
}