swMATH14278MaRDI QIDQ26182FDOQ26182
Author name not available (Why is that?)
Official website: http://www.risc.jku.at/research/combinat/software/ergosum/RISC/Stirling.html
Cited In (13)
- Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
- High-energy string scattering amplitudes and signless Stirling number identity
- Formal residue and computer-assisted proofs of combinatorial identities
- Automated proofs for some Stirling number identities
- New definitions of the generalized Stirling numbers
- NewZeil.m
- DDMF
- qZEILBERGER
- ZEILBERGER
- CFSum
- Linear recurrence relations for sums of products of two terms
- A non-holonomic systems approach to special function identities
- Some open problems related to creative telescoping
This page was built for software: Stirling
