Il existe une technologie standard (voir, par exemple) permettant de calculer le changement de variables en coordonnées formelles, en un point correspondant à une extension de série de Taylor normale.
Il existe une technique standard (voir, par exemple) pour calculer le changement de variables en coordonnées normales, en un point constituant un développement formel de la série de Taylor.