Applications of Symbol Manipulation in Theoretical Physics

Communications of the ACM

Volumn 14, Issue 8, 1971, Pages 511-516

  Hearn, Anthony C ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

algebraic simplification; computational physics; quantum electrodynamics; symbol manipulation

Indexed keywords

SYMBOL MANIPULATION;

PHYSICS--COMPUTER APPLICATIONS;

EID: 0015110899     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/362637.362641     Document Type: Article

References (19)

1. Feynman, R.P. Space-time approach to quantum electrodynamics. Phys. Rev. 76 (1949), 769.
2. Bjorken, J.D., and Drell, S.D. Relativistic Quantum Mechanics. McGraw-Hill, New York, 1964.
3. Kahane, J. An algorithm for reducing contracted products of γ-matrices. J. Math. Phys. 9 (1968), 1732.
4. Hearn, A.C., Kuo, P.K., and Yennie, D.R. Radiative corrections to an electron-positron scattering experiment. Phys. Rev. 187 (1969), 1950.
5. Dufner, A.J. An adaptive multidimensional numerical integration subroutine. Pro Colloquium on Computational methods in Theoretical Physics. Marseilles, 1970.
6. Veltman, M., SCHOONSCHIP, A CDC 6600 programme for symbolic evaluation of Feynman diagrams. CERN Preprint, 1965, unpublished.
7. Mathews, Jon. California Institute of Technology, private communication.
8. Kaiser, H.J. Trace calculation on electronic computer. Nucl. Phys. 43 (1963), 620.
9. Wilcox, R.M. A computer method for calculating Dirac traces with applications to quantum electrodynamics. Ph.D. thesis U. of Colorado, Boulder, Col., 1961.
10. Levine, M.J. Dirac matrix and tensor algebras on a digital computer. J. Comp. Phys. 1 (1966), 454.
11. CampBell, J.A. A short program for Dirac matrix algebra. J. Comp. Phys. 2 (1968), 412.
12. Swanson, S.M. Computer algorithms for Dirac algebra. J. Comp. Phys. 4 (1969), 171.
13. Hearn, A.C. REDUCE 2: A system and language for algebraic mainpulation. Proc. 2nd Symp. on Symbolic and Algebraic Manipulation, ACM Headquarters, New York, pp. 128-133.
14. CampBell, J.A., and Hearn, A.C. Symbolic analysis of Feynman diagrams by computer. J. Comp. Phys. 5 (1970), 280.
15. Calmet, J., and Perrottet, M. An attempt to evaluate renormalized radiative corrections by computer. J. Comp. Phys. (Apr. 1971).
16. Moses, Joel. Algebraic simplification: A guide for the perplexed. Comm. ACM 17, 8 (Aug. 1971), 527-537.
17. Jefferys, William H. Automated algebraic manipulation in celestial mechanics. Comm. ACM 17, 8 (Aug. 1971), 538-541.
18. Barton, D., and Fitch, J.P. General relativity and the application of algebraic manipulative systems. Comm. ACM 17, 8 (Aug. 1971), 542-547.
19. Collins, George E. The SAC-1 system: An introduction and survey. Proc. 2nd Symp. on Symbolic and Algebraic Manipulation, 1971. ACM Headquarters, New York, pp. 144-152.