Найдем разность фаз между спутниками i и j и приемниками А и В (двойную разность фаз). Для этого образуем уравнение одинарной разности между спутниками F^ij_B, наблюдавшимися с пункта В:

(6.55)

(6.56)

Это же уравнение можно было бы получить по уравнениям вида (6.54) для одинарных разностей между станциями, но в этом случае уничтожились бы ошибки часов приемников. Независимо от способа образования в двойных разностях отсутствуют ошибки часов спутников и приемников, то есть исключаются поправки часов, запаздывания в аппаратуре и начальные фазы генераторов. Влияние ионосферы и тропосферы продолжает уменьшаться, ослабевает влияние ошибок эфемерид, а шум измерений растет. Единственное смещение, оставшееся в этом уравнении, - это целые неоднозначности N в циклах. Четыре отдельные неоднозначности могут входить в уравнение раздельно или в виде нового параметра неоднозначности

Если в наблюдениях участвуют R приемников, которые наблюдают S спутников в течение Е эпох, то полное число наблюдений фаз равно n_F=RSE, при этом в каждую эпоху производится RS измерений. Число одинарных разностей равно n_SD=(R-1)SE. Для каждой эпохи можно образовать R(R-1)S(S-1)/4 возможных двойных разностей, но из них независимыми будут только n_DD=(R-1)(S-1). Полное число независимых двойных разностей равно n_DD=(R-1)(S-1)E.

Возможно несколько способов для формирования в эпоху наблюдений (R-1)(S-1) независимых двойных разностей из RS однонаправленных наблюдений фаз. Используются два наиболее общих метода формирования разностей - это метод базового спутника и метод последовательных спутников. В первом случае один из спутников назначается опорным и его фаза вычитается из остальных фаз данной эпохи. Во втором случае от данных каждого спутника, начиная со второго в данную эпоху, вычитаются показания предыдущего спутника.