Mechanized Algebraic Operations (MAO)

A software package for Mechanized Algebraic Operations (MAO) is described. With MAO one is able to manipulate on the computer Poisson series in literal form. The system is operational; it has application in the fields of celestial mechanics, astrodynamics, and nonlinear mechanics. Besides describing the system, the present paper suggests various techniques to prepare problems such that they lend themselves for an automated treatment with MAO. Optimized implementation of the general subroutines is discussed.