Describir: Mathematical foundation of geodesy