Algebraic geodesy and geoinformatics.