The problem of strict equation of geodetic networks developed by a set of stations of satellite navigation systems is raised, which is caused by the fact that as a result of post-processing by existing programs receive covariance matrices of errors of increments of spatial coordinates for each measured side of the geodetic network separately. The matrix does not take into account the correlation that is caused by the fact that the results of observations of many satellites are used simultaneously to determine the coordinate increments on all measured sides of the network. It is shown that for a rigorous equation, the covariance matrix of satellite measurement errors should be determined as a result of correlation analysis, and the equation should be performed by the regularized least squares method.
