引力中泊松括号的有效计算

本文解决了理论物理学中的一个实际挑战：将狄拉克哈密顿约束算法应用于引力及其扩展的计算复杂性。作者提供了一个计算机代数软件包，旨在简化计算泊松括号和约束代数的过程，这对于理解引力理论的动力学和对称性至关重要。这具有重要意义，因为它可以通过使复杂的计算更易于管理来加速对修改引力和量子引力等领域的研究。