• Concrete mathematics
• Hypergeometric terms
• Difference equations
• Term rewriting
• Expanding
• Rewriting
• Combining
• Collecting