Anthony C. Hearn. Applications of symbol manipulation in theoretical physics. In Stanley R. Petrick, Jean E. Sammet, Robert G. Tobey, Joel Moses, editors, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971. pages 17-21, ACM, 1971. [doi]
Abstract is missing.