Traitement de code
4 inconnues ⇒il faut observer au moins 4 satellites
On a à résoudre le système suivant de 4 équations à 4 inconnues : , , , dt pour j = 1 à 4 :
On peut résoudre ce système par linéarisation puis par moindres carrés ou par filtrage de Kalman, en partant dans les deux
cas d'une solution approchée.
On ne cherche jamais une solution analytique.