Computer algebra and the study of unconventional electron lenses

The calculation of aberration coefficients, and even the derivation of paraxial equations, can involve an immense volume of elementary algebraic manipulation; the use of a computer to lighten this task for some unconventional electron lens types is described.