Symbolic summation and integration
3 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Symbolic summationSymbolic integrationCombinatorial identity proof
combinatorial-enumeration
- Zeilberger's algorithmCreative telescopingspecialistcombinatorial-enumeration
computational-algebra
- Risch algorithmstandalonespecialistcomputational-algebra
- Gosper's algorithmHypergeometric telescopingspecialistcomputational-algebra