。他们对于爱因斯坦方程的推演结果称作ADM形式。出于技术原因，他们的结果并不适用于数值计算。它的双曲性很弱，因而在实际计算中很难使用。不过数值相对论中许多用到3＋1解构的求解方法还是与ADM形式紧密相关。这种解构会将爱因斯坦方程整理为具有一定初始条件的柯西问题。这种形式已经是计算机数值求解惯常解决的问题。时空的坐标也不能唯一确定。即使固定了起始超曲面上的坐标，但在穿越到邻近的超曲面时，时空坐标也会因不同的取法而不同。这是数值相对论的一个特征。这种度规上的自由度虽然并不会影响实际上的物理过程，但对过程的描