Applications of symbol manipulation in theoretical physics
From MaRDI portal
Publication:5623223
DOI10.1145/362637.362641zbMath0218.68002OpenAlexW2008666789WikidataQ56673294 ScholiaQ56673294MaRDI QIDQ5623223
Publication date: 1971
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/362637.362641
Related Items
Using symbolic computation in buckling analysis, Longitudinal jet cross sections in order \(\alpha^2_s\), Automated angular momentum recoupling algebra, Non-resolution theorem proving, Automation of the nonrelativistic \(\varphi^3\) field theory in two spatial dimensions, The construction of a seventh-order Jupiter-Saturn analytical theory, Numerical solution of nonlinear differential equations using computer algebra
Uses Software
