Algebra of Polynomials in Several Variables for a Digital Computer
Leland H. Williams · Journal of the ACM · 1962
An interpretive system for automatic formal manipulation of polynomials by a digital computer is presented.Its purpose is to make practical the solution of certain types of problems which require formal manipulation of polynomials.For example, it can be used for the formal solution of systems of polynomial equations.The manipulations of the system are those producing the sum, difference, product, remainder after division, greatest common factor, and eliminant of two polynomials in any reasonable number of variables.Euclid's Algorithm is used for the greatest common factor and the eliminant.Applications are discussed and examples are given.The system has been programmed for an IBM 650.