Cited in
(13)- Formal residue and computer-assisted proofs of combinatorial identities
- Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
- Some open problems related to creative telescoping
- NewZeil.m
- New definitions of the generalized Stirling numbers
- DDMF
- qZEILBERGER
- ZEILBERGER
- A non-holonomic systems approach to special function identities
- CFSum
- Automated proofs for some Stirling number identities
- Linear recurrence relations for sums of products of two terms
- High-energy string scattering amplitudes and signless Stirling number identity
This page was built for software: Stirling