swMATH11334MaRDI QIDQ23280FDOQ23280
Author name not available (Why is that?)
Official website: http://sites.math.rutgers.edu/~zeilberg/programs.html
Cited In (28)
- Using nonlinear difference equations to study Quicksort algorithms
- A multilinear operator for almost product evaluation of Hankel determinants
- Some nice sums are almost as nice if you turn them upside down
- Identities of nonterminating series by Zeilberger's algorithm
- A combinatorial-probabilistic analysis of bitcoin attacks
- Crossings and nestings in colored set partitions
- Hypergeometric series acceleration via the WZ method
- The (ordinary) generating functions enumerating \(123\)-avoiding words with \(r\) occurrences of each of \(1, 2, \dots, n\) are always algebraic
- On WZ-pairs which prove Ramanujan series
- Combinatorial and automated proofs of certain identities
- Balls in boxes: variations on a theme of Warren Ewens and Herbert Wilf
- Summation identities for representation of certain real numbers
- HISTABRUT
- Asyrec
- BallsInBoxes
- SMCper
- TANGLE
- hsum.mpl
- SumTools
- CfiniteIntegral
- CAcount
- stCore
- Towards a symbolic computational philosophy (and methodology!) for mathematics
- Proofs of Ruehr's identities
- WZ-proofs of ``divergent Ramanujan-type series
- A generalization of Kummer's identity.
- Denominators for one variable Poincaré series of generic matrices
- How much should a 19th-century French Bastard inherit
This page was built for software: EKHAD
