书目详细信息 : 计算机代数系统与大地测量数学分析