次元の平坦な空間におけるベクトル場のラプラシアンは，公式 で計算することができる．この式は三次元においてよく知られている：

以下では，さまざまな次元と座標系における恒等式の検証を自動的に行う表を作成する：