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 electrodynamics where the most activity 
has occurred.
CACM August, 1971
Hearn, A. C.
