This paper describes the application to three areas of physics of computer programs that carry out formal algebraic manipulation. The application areas discussed are celestial mechanics, general relativity and quantum electrodynamics. The paper describes typical problems from each of these disciplines which can be solved using algebraic manipulative systems and presents sample programs for the solution of these problems using several algebra systems. For each discipline a review of published work acknowledging the use of algebra programs is presented and the most advanced applications are discussed in detail. In particular the Lie transform, Petrov classification and Kahane's simplification procedure are reviewed from the standpoint of algebra programs.
No takes yet. Share an insight, caveat, or question.
Barton et al. (1972) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: