This paper presents a preliminary report on a new algorithm for computing the Greatest Common Divisor (GCD) of two multivariate polynomials over the integers.Expand

Algebraic simplification is examined first from the point of view of a user who needs to comprehend a large expression, and second from the vantage point of a designer who wants to construct a useful and efficient system.Expand

SIN and SOLDIER are heuristic programs written in LISP which solve symbolic integration problems at the difficulty approaching those in the larger integral tables.Expand

A jumping stick of the type including a downwardly extensible ground-contacting plunger that is spring urged toward its extended position together with an improved two-stroke cycle internal combustion engine having its piston movable with the plunger and arranged on its power stroke to urge downward extension of plunger.Expand

Algebraic simplification is examined first from the point of view of a user needing to comprehend a large expression, and second from the vantage point of a designer who wants to construct a useful and efficient system.Expand