An Application of the REDUCE System for Solving a Mathematical Geodesy Problem.

I. Trenkov, Margarita Spiridonova, M. Daskalova

Browse the full ISSAC paper archive.