Three approaches to symbolic integration in the 1960's are described. The first, from artificial intelligence, led to Slagle's SAINT and to a large degree to Moses' SIN. The second, from algebraicâ€¦ (More)

This paper presents a preliminary report on a new algorithm for computing the Greatest Common Divisor (GCD) of two multivariate polynomials over the integers. The algorithm is strongly influenced byâ€¦ (More)

The field of Engineering Systems is distinguished from traditional engineering design in part by the issues it brings to the top. Engineering Systems focuses on abstractions like architecture andâ€¦ (More)

ions, Modules, Extensions and Layers The power of an abstraction is usually derived from creating a simplified domain where a set of details is hidden. A module is an abstraction in this sense if oneâ€¦ (More)

Algebraic simplification is examined first from the point of view of a user who needs to comprehend a large expression, and second from the point of view of a designer who wants to construct a usefulâ€¦ (More)

The atmosphere of Jupiter's satellite Io is extremely tenuous, time variable and spatially heterogeneous. Only a few moleculesâ€”SO2, SO and S2â€”have previously been identified as constituents of thisâ€¦ (More)

We discuss three methodologies for the design of large scale engineering systems. The classical methodology is hierarchical decomposition, where one breaks a problem down into parts and keeps doingâ€¦ (More)

A problem common to many powerful programming languages arises when one has to determine what values to assign to free variables in functions. Different implementational approaches which attempt toâ€¦ (More)

The Macsyma system arose out of research on mathematical software in the AI group at MIT in the 1960â€™s. Algorithm development in symbolic integration and simplification arose out of the interest ofâ€¦ (More)