• Computer algebra (general)
• Limits
• Symbolic integration
• Solving (q-)recurrences
• Partial fraction decomposition