The goal of this paper is to present an explicit computation of the Birkhoff–Gustavson normal form in the 1: 1, 1: 2 and 1: 3 resonances, by using the concept of Weyl quantization, especially when it is about the first ...