Philipp Nuspl,
"$C$-finite and $C^2$-finite Sequences in SageMath"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 22-06, RISC, JKU, Hagenberg, Linz, 6-2022, ISBN: 2791-4267
Original Titel:
$C$-finite and $C^2$-finite Sequences in SageMath
Sprache des Titels:
Englisch
Original Kurzfassung:
We present the SageMath package rec_sequences which provides methods to compute with sequences satisfying linear recurrences. The package can be used to show inequalities of $C$-finite sequences, i.e., sequences satisfying a linear recurrence relation with constant coefficients. Furthermore, it provides functionality to compute in the $C^2$-finite sequence ring, i.e., to compute closure properties of sequences satisfying a linear recurrence with $C$-finite coefficients.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria
Forschungs-