重力、重力梯度导航与探测及大地测量计算机代数分析