The Alpak system for nonnumerical algebra on a digital computer — I: Polynomials in several variables and truncated power series with polynomial coefficients | Nokia Bell Labs Journals & Magazine | IEEE Xplore