The diagonal of a D-finite power series is D-finite
From MaRDI portal
Publication:1110589
DOI10.1016/0021-8693(88)90166-4zbMath0657.13024OpenAlexW2032125006MaRDI QIDQ1110589
Publication date: 1988
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0021-8693(88)90166-4
Exact enumeration problems, generating functions (05A15) Formal power series rings (13F25) Power series rings (13J05)
Related Items (60)
Power series with coefficients from a finite set ⋮ The degree of symmetry of lattice paths ⋮ Feasibility testing for systems of real quadratic equations ⋮ Walks confined in a quadrant are not always D-finite ⋮ Counting quadrant walks via Tutte's invariant method ⋮ Algebraic diagonals and walks: algorithms, bounds, complexity ⋮ Hilbert series for twisted commutative algebras ⋮ On some combinatorial sequences associated to invariant theory ⋮ Multiple Legendre polynomials in diophantine approximation ⋮ Multiple binomial sums ⋮ Diagonal asymptotics for symmetric rational functions via ACSV ⋮ Some open problems related to creative telescoping ⋮ Generating functions, Fibonacci numbers and rational knots ⋮ Formal power series and Hadamard product ⋮ Beating binary powering for polynomial matrices ⋮ New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences ⋮ Automated positive part extraction for lattice path generating functions in the octant ⋮ On the representability of sequences as constant terms ⋮ Quadrant walks starting outside the quadrant ⋮ Is the full susceptibility of the square-lattice Ising model a differentially algebraic function? ⋮ Asymptotics of multivariate sequences. IV: Generating functions with poles on a hyperplane arrangement ⋮ Telescopers for differential forms with one parameter ⋮ D-finite power series ⋮ Height gap conjectures, \(D\)-finiteness, and a weak dynamical Mordell-Lang conjecture ⋮ Orders induced by segments in floorplans and (2-14-3, 3-41-2)-avoiding permutations ⋮ Symmetric functions and P-recursiveness ⋮ Convex polyominoes revisited: enumeration of outer site perimeter, interior vertices, and boundary vertices of certain degrees ⋮ A holonomic systems approach to special functions identities ⋮ Beyond series-parallel concurrent systems: the case of arch processes ⋮ Regularity in Weighted Graphs: A Symmetric Function Approach ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms ⋮ Rational dynamical systems, \(S\)-units, and \(D\)-finite power series ⋮ On 3-dimensional lattice walks confined to the positive octant ⋮ A \(D\)-finiteness result for products of permutations ⋮ The cogrowth series for BS(N, N) is D-finite ⋮ Counting permutations with no long monotone subsequence via generating trees and the kernel method ⋮ Walks in the quarter plane: Kreweras' algebraic model ⋮ Generalisations of the Harer-Zagier recursion for 1-point functions ⋮ Walks on the slit plane: Other approaches ⋮ Hypergeometric expressions for generating functions of walks with small steps in the quarter plane ⋮ Analytic analysis of algorithms ⋮ On a Conjecture of Cusick Concerning the Sum of Digits of $n$ and $n+t$ ⋮ Counting walks with large steps in an orthant ⋮ Tableau sequences, open diagrams, and Baxter families ⋮ The generating function of planar Eulerian orientations ⋮ Unnamed Item ⋮ The method of differentiating under the integral sign ⋮ \(E\)-algebraic functions over fields of positive characteristic -- an analogue of differentially algebraic functions ⋮ Counting Latin rectangles ⋮ Exact solution of some quarter plane walks with interacting boundaries ⋮ Higher Dimensional Lattice Walks: Connecting Combinatorial and Analytic Behavior ⋮ Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity ⋮ Diagonals of rational functions, pullbacked $\boldsymbol{_2F_1}$ hypergeometric functions and modular forms ⋮ Effective scalar products of D-finite symmetric functions ⋮ On computing the coefficients of bivariate holonomic formal series ⋮ Formal solutions of differential equations ⋮ Asymptotics of multivariate sequences. I: Smooth points of the singular variety ⋮ An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities ⋮ On a class of hypergeometric diagonals
Cites Work
- Unnamed Item
- Unnamed Item
- Intégration sur un cycle évanescent
- Algebraic power series and diagonals
- Differentiably finite power series
- Sister Celine's technique and its generalizations
- Algebraic functions over finite fields
- On the zeta function of a hypersurface. IV: A deformation theory for singular hypersurfaces
- A Gap Theorem for Power Series Solutions of Algebraic Differential Equations
This page was built for publication: The diagonal of a D-finite power series is D-finite
