Differentiably finite power series

DOI10.1016/S0195-6698(80)80051-5zbMath0445.05012OpenAlexW2019367635MaRDI QIDQ1145145

Publication date: 1980

Published in: European Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0195-6698(80)80051-5

zbMATH Keywords

formal power series d-finite differentiably finite p- recursive reciprocity theorems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) Exact enumeration problems, generating functions (05A15) General theory of functional-differential equations (34K05)

Related Items (only showing first 100 items - show all)

Bell numbers, their relatives, and algebraic differential equations ⋮ Power series with coefficients from a finite set ⋮ On the hierarchy of generating functions for solutions of multidimensional difference equations ⋮ Recursive sequences attached to modular representations of finite groups ⋮ Walks confined in a quadrant are not always D-finite ⋮ Analytic models and ambiguity of context-free languages ⋮ A generalization of Gosper's algorithm ⋮ The (ordinary) generating functions enumerating \(123\)-avoiding words with \(r\) occurrences of each of \(1, 2, \dots, n\) are always algebraic ⋮ Two non-holonomic lattice walks in the quarter plane ⋮ Constant coefficient linear difference equations on the rational cones of the integer lattice ⋮ On combinatorial differential equations ⋮ Algebraic dynamic programming for multiple context-free grammars ⋮ The \(C\)-finite ansatz ⋮ Infinite orders and non-\(D\)-finite property of 3-dimensional lattice walks ⋮ Martin boundary of killed random walks on isoradial graphs ⋮ The number of permutations with exactly \(r\) 132-subsequences is \(P\)-recursive in the size! ⋮ Rational-transcendental dichotomy of power series with a restriction on coefficients ⋮ Asymptotics and algebraicity of some generating functions ⋮ The diagonal of a D-finite power series is D-finite ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ On the conjecture \(\mathcal {L}_{\mathsf {DFCM}}\subsetneq \mathsf {RCM}\) ⋮ Exact enumeration of 1342-avoiding permutations: A close link with labeled trees and planar maps ⋮ Standard Young tableaux of height 4 and 5 ⋮ Some mathematical limitations of the general-purpose analog computer ⋮ \(q\)-hypergeometric solutions of \(q\)-difference equations ⋮ Permutations with one or two 132-subsequences ⋮ Minimal coverings of uniform hypergraphs and \(P\)-recursiveness ⋮ A representation theorem for (\(q\)-)holonomic sequences ⋮ On the complexity of the cogrowth sequence ⋮ Formal power series and Hadamard product ⋮ Thue, combinatorics on words, and conjectures inspired by the Thue-Morse sequence ⋮ Convolutions of Liouvillian sequences ⋮ Non-P-recursiveness of numbers of matchings or linear chord diagrams with many crossings ⋮ Haruspicy and anisotropic generating functions ⋮ A computable extension for D-finite functions: DD-finite functions ⋮ A quantitative study of pure parallel processes ⋮ D-finite power series ⋮ Height gap conjectures, \(D\)-finiteness, and a weak dynamical Mordell-Lang conjecture ⋮ Local zero estimates and effective division in rings of algebraic power series ⋮ Hadamard grade of power series ⋮ Symmetric functions and P-recursiveness ⋮ Sister Celine's technique and its generalizations ⋮ On the exponential generating function of labelled trees ⋮ A holonomic systems approach to special functions identities ⋮ Automatic average-case analysis of algorithms ⋮ Decomposition of polynomials with respect to the cyclic group of order \(m\) ⋮ Counting pattern-free set partitions. I: A generalization of Stirling numbers of the second kind ⋮ Efficient accelero-summation of holonomic functions ⋮ Constructible differentially finite algebraic series in several variables ⋮ Rational dynamical systems, \(S\)-units, and \(D\)-finite power series ⋮ Congruences modulo cyclotomic polynomials and algebraic independence for \(q\)-series ⋮ A linear operator for symmetric functions and tableaux in a strip with given trace ⋮ Desingularization in the \(q\)-Weyl algebra ⋮ Finding efficient recursions for risk aggregation by computer algebra ⋮ Hypergeometric solutions of linear recurrences with polynomial coefficients ⋮ Dynamics on abelian varieties in positive characteristic ⋮ On recurrences for sums of powers of binomial coefficients ⋮ Linear independence of finite Gabor systems determined by behavior at infinity ⋮ Bialgebras of recursive sequences and combinatorial identities ⋮ Plane partitions. VI: Stembridge's TSPP theorem ⋮ RNA pseudoknot structures with arc-length \(\geq 3\) and stack-length \(\geq \sigma \) ⋮ Extended rate, more GFUN ⋮ Walks in the quarter plane: Kreweras' algebraic model ⋮ Pseudo-factorials, elliptic functions, and continued fractions ⋮ Iterated pushdown automata and sequences of rational numbers ⋮ Generalisations of the Harer-Zagier recursion for 1-point functions ⋮ Some recurrences for sums of powers of binomial coefficients ⋮ On the transcendence of certain series ⋮ Effective bounds for P-recursive sequences ⋮ On a class of languages with holonomic generating functions ⋮ Statistics of canonical RNA pseudoknot structures ⋮ Combinatorial design of pseudoknot RNA ⋮ Recurrences for alternating sums of powers of binomial coefficients ⋮ Tableau sequences, open diagrams, and Baxter families ⋮ \(G\)-functions and multisum versus holonomic sequences ⋮ Automatic computation of Stokes matrices ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Algorithmic approach for formal Fourier series ⋮ Combinatorial resolution of systems of differential equations. III: A special class of differentially algebraic series ⋮ DD-finite functions in Sage ⋮ Some structural results on \(\mathrm{D}^n\)-finite functions ⋮ \(E\)-algebraic functions over fields of positive characteristic -- an analogue of differentially algebraic functions ⋮ Stacks in canonical RNA pseudoknot structures ⋮ Fast evaluation of holonomic functions ⋮ Ménage numbers, bijections and P-recursiveness ⋮ Generating functions for finite sums involving higher powers of binomial coefficients: analysis of hypergeometric functions including new families of polynomials and numbers ⋮ Transcendence of binomial and Lucas' formal power series ⋮ Recurrences for sums of powers of binomial coefficients ⋮ Enumeration of cubic graphs by inclusion-exclusion ⋮ On the decomposition of \(k\)-noncrossing RNA structures ⋮ Some continuous endomorphisms of \(P\)-recursives sequences ⋮ Recursions for modified Walsh transforms of some families of Boolean functions ⋮ Transcendence of formal power series with rational coefficients ⋮ Enumeration of three-dimensional convex polygons ⋮ Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity ⋮ Baxter-Guttman-Jensen conjecture for power series in directed percolation problem ⋮ The reciprocals of solutions of linear ordinary differential equations ⋮ On the structure of multivariate hypergeometric terms. ⋮ Relax, but don't be too lazy ⋮ On the complexity of skew arithmetic

Cites Work

This page was built for publication: Differentiably finite power series