罗杰斯米尔斯
507 - 508页
罗伯特•莫里斯
509 - 510页
本文综述了符号计算技术在理论物理问题中的应用。特别强调的是在量子电动力学中最活跃的应用。
安东尼·c·赫恩
511 - 516页
Altran是一个完整的符号计算系统，它具有整数系数变量中的有理函数。它的设计和实现是为了轻松和高效地处理大型问题。相当多的…
安德鲁·d·霍尔
517 - 521页
每个列表处理系统都只允许使用单一大小和配置的列表单元。本文描述了一个允许使用任意多个不同大小和配置的列表单元格的系统…
罗伯特·r·Fenichel
522 - 526页
首先从需要理解一个大表达式的用户的角度来检验代数简化，其次从想要构建一个有用和有效的系统的设计师的角度来检验代数简化。第一次……
乔尔·摩西
527 - 537页
在这篇论文中，我们考虑自动化代数运算在天体力学中的一些应用。特别注意泊松级数的使用，以及摄动中的一个典型问题。
威廉·h·杰弗瑞
538 - 541页
本文描述了符号代数系统在广义相对论问题中的一些应用，包括场方程的推导，度规的彼得罗夫分类，场方程的解…
巴顿，j·p·费奇
542 - 547页
描述了20世纪60年代的三种符号整合方法。第一个，来自人工智能，导致了斯莱格尔的圣，并在很大程度上导致了摩西的罪。第二个，来自代数操作，导致了Manove的…
乔尔·摩西
548 - 560页
563 - 564页
