大地測量涉及大量的橢球偏心率冪級數展開、隱函數高階導數求取、三角函數運算、特殊函數展開、積分變換等一系列復雜繁瑣的數學分析過程,依靠人工推導完成的傳統(tǒng)算法主要存在以下問題:(1)表達式復雜冗長,計算繁瑣費時;(2)存在一定的近似處理,影響了計算精度;(3)有些公式表現為適用于特定參考橢球的數值形式,不便于推廣使用。本書以大地測量各分支學科各種復雜數學分析過程為研究對象,利用計算機代數分析方法,借助計算機代數系統(tǒng)強大的數學推導和可視化分析能力,推導和建立了一系列理論上更為嚴密、形式上更為簡單、精度上更為精確的符號化的大地測量新算法和新模型,一定程度上革新了大地測量數學分析理論。