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

Leonard Lipshitz

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



Related Items

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