An extension of holonomic sequences: \(C^2\)-finite sequences
DOI10.1016/j.jsc.2022.10.008OpenAlexW4306966833MaRDI QIDQ2100068
Antonio Jiménez-Pastor, Veronika Pillwein, Philipp Nuspl
Publication date: 21 November 2022
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2022.10.008
Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Convergence and divergence of series and sequences (40A05) Other functions coming from differential, difference and integral equations (33E30) Difference algebra (12H10) Linear difference equations (39A06)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Recurrence relations for graph polynomials on bi-iterative families of graphs
- A Mathematica package for \(q\)-holonomic sequences and power series
- Occurrence of zero in a linear recursive sequence
- The On-Line Encyclopedia of Integer Sequences
- On the exponential generating function of labelled trees
- A computable extension for D-finite functions: DD-finite functions
- Ore Polynomials in Sage
- Termination conditions for positivity proving procedures
- On the set of zero coefficients of a function satisfying a linear differential equation
- Deux propriétés décidables des suites récurrentes linéaires
- Decision Problems for Linear Recurrence Sequences
- Algorithmic Arithmetics with DD-Finite Functions
- The Holonomic Toolkit
- A procedure for proving special function inequalities involving a discrete parameter
- Positivity Problems for Low-Order Linear Recurrence Sequences
This page was built for publication: An extension of holonomic sequences: \(C^2\)-finite sequences
