Logic Programming and Automated Reasoning 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Based on the IV Hotine-Marussi Symposium held in Trento, the volume covers three important topics: boundary value problems, satellite geodesy and stochastic methods in geodesy. The first part deals with boundary value problems which are tackled from both the theoretical and the numerical point of view. The part on satellite geodesy deals with the simulation of the GOCE mission, the integration of satellite gradiometry and airborne gravity for gravity-filed recovery, satellite-to-satellite tracking and orbit sensitivity analysis. Various applied and theoretical contributions are devoted to the stochastic methods applied to geodesy. The book presents the state-of-the-art of the main topics in the theoretical and methodological aspects of geodesy.Ganzinger, Harald is the author of 'Logic Programming and Automated Reasoning 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings' with ISBN 9783540664925 and ISBN 3540664920.