August 1971 - Vol. 14 No. 8
Features
Applications of symbol manipulation in theoretical physics
This paper surveys the applications of symbolic computation techniques to problems in theoretical physics. Particular emphasis is placed on applications in quantum…
The Altran system for rational function manipulation — a survey
Altran is a complete system for symbolic computation with rational functions in several variables with integer coefficients. It has been designed and implemented to…
List tracing in systems allowing multiple cell-types
List-processing systems have each allowed the use of only a single size and configuration of list cell. In this paper a system is described which allows the use of…
Algebraic simplification: a guide for the perplexed
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…
Automated algebraic manipulation in celestial mechanics
In this paper we consider some of the applications of automated algebraic manipulation which have been made in celestial mechanics. Particular attention is paid to the…
General relativity and the application of algebraic manipulative systems
The paper describes some applications of symbolic algebra systems to problems of general relativity including the derivation of the field equations, the Petrov…
Symbolic integration: the stormy decade
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.…