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.
| Original language | English |
|---|
| Place of Publication | Hagenberg, Linz |
|---|
| Publisher | RISC, JKU |
|---|
| Number of pages | 4 |
|---|
| Publication status | Published - Jun 2022 |
|---|
| Name | RISC Report Series |
|---|
| No. | 22-06 |
|---|
| ISSN (Print) | 2791-4267 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics