This paper describes a new computer algebra system design based on the object-oriented style of programming and an implementation of this design, called Views, written in Smalltalk-80.Expand

A decision procedure for integrating a class of transcendental elementary functions in terms of elementary functions and error functions is described.Expand

Since R. Risch published an algorithm for calculating symbolic integrals of elementary functions in 1969, there has been an interest in extending his methods to include nonelementary functions. In… Expand

In this paper, we use the framework of differential algebra to make precise the notion of integration in terms of elementary functions and logarithmic integrals.Expand

We report here on the recent development of two decision procedures for calculating integrals of transcendental elementary functions in terms of logarithmic integrals and error functions.Expand

software construction with object oriented pictures specifying reactive and interactive systems What to say and what to do when mostly your friends love reading? Are you the one that don't have such… Expand