从动量展开到后Minkowskian哈密顿量，均采用计算机代数算法

二元质量系统在重力作用下的运动的牛顿后解和金可夫斯基解可以根据有效场论方法中的动量展开来推导。 在后Minkowskian方法中，以GN / r之比进行扩展，完全保留所有速度项，而在后Newtonian方法中，仅考虑与速度项具有相同阶数的那些速度项，这是由于 病毒定理。 我们表明，有可能在最一般的纯数学条件下，从有限数量的速度项中，通过算法完全获得完整的后Minkowskian表达式，并说明了直到[1]中给出的第三后Minkowskian阶，并与表达式进行了比较 在有效的身体形式主义中获得。