Anthony C. Hearn
Abstract
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.
- 1 Feynman, R.P. Space-time approach to quantum electrodynamics. Phys. Rev. 76 (1949), 769.Google Scholar
Cross Ref
- 2 Bjorken, J.D., and Drell, S.D. Relativistic Quantum Mechanics. McGraw-Hill, New York, 1964.Google Scholar
- 3 Kahane, J. An algorithm for reducing contracted products of v-matrices. J. Math. Phys. 9 (1968), 1732.Google ScholarCross Ref
- 4 Hearn, A.C., Kuo, P.K., and Yennie, D.R. Radiative corrections to an electron-positron scattering experiment. Phys. Rev. 187 (1969), 1950.Google ScholarCross Ref
- 5 Dufner, A.J. An adaptive multidimensional numerical integration subroutine. Pro Colloquium on Computational methods in Theoretical Physics. Marseilles, 1970.Google Scholar
- 6 Veltman, M., scnooNscme, A CDC 6600 programme for symbolic evaluation of Feynman diagrams. CERN Preprint, 1965, unpublished.Google Scholar
- 7 Mathews, Jon. California Institute of Technology, private communication.Google Scholar
- 8 Wilcox, R.M. A computer method for calculating Dirac traces with applications to quantum electrodynamics. Ph.D. thesis U. of Colorado, Boulder, Col., 1961.Google Scholar
- 9 Kaiser, H.J. Trace calculation on electronic computer. Nucl. Phys. 43 (1963), 620.Google ScholarCross Ref
- 10 Levine, M.J. Dirac matrix and tensor algebras on a digital computer. J. Comp. Phys. 1 (1966), 454.Google ScholarCross Ref
- 11 Campbell, J.A. A short program for Dirac matrix algebra. J. Comp. Phys. 2 (1968), 412.Google ScholarCross Ref
- 12 Swanson, S.M. Computer algorithms for Dirac algebra. J. Comp. Phys. 4 (1969), 171.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 14 Campbell, J.A., and Hearn, A.C. Symbolic analysis of Feynman diagrams by computer. J. Comp. Phys. 5 (1970), 280.Google ScholarCross Ref
- 15 Calmet, J., and Perrottet, M. An attempt to evaluate renormalized radiative corrections by computer. J. Comp. Phys. (Apr. 1971).Google Scholar
- 16 Moses, Joel. Algebraic simplification: A guide for the perplexed. Comm. ACM 17, 8 (Aug. 1971), 527-537. Google ScholarDigital Library
- 17 Jefferys, William H. Automated algebraic manipulation in celestial mechanics. Comm. ACM 17, 8 (Aug. 1971), 538-541. Google ScholarDigital Library
- 18 Barton, D., and Fitch, J.P. General relativity and the application of algebraic manipulative systems. Comm. ACM 17, 8 (Aug. 1971), 542-547. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- Applications of symbol manipulation in theoretical physics
Recommendations
Applications of symbol manipulation in theoretical physics
SYMSAC '71: Proceedings of the second ACM symposium on Symbolic and algebraic manipulationThis 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.
Quantum information splitting of arbitrary two-qubit state by using four-qubit cluster state and Bell-state
In this paper, we proposed a scheme for quantum information splitting of arbitrary two-qubit by using four-qubit cluster state and Bell-state as quantum channel. The splitter (Alice) and two receivers (Bob and Charlie) safely share a four-qubit cluster ...
Complete state analysis for four-qubit systems with optical property of quantum dots inside one-side optical microcavities
We propose a way for analyzing the cluster states of four-qubit systems completely, resorting to the interaction between the photon and the electron spin in a quantum dot embedded inside a one-side optical microcavity. With parity-check quantum ...
Comments