- Algebraic structures
- Representation of algebraic structures
- Arithmetic
- Simplification
- Greatest common divisor
- Resultant
- Solving polynomial equations
- Differentiation
- Summation
- Integration
- Ordinary differential equations
- Polynomial factorization
- Quantifier elimination

Richard Liska