TY  - RPRT
TI  - Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points
AU  - I. I. Shevchenko
PY  - 2013
DO  - 10.1016/j.cpc.2007.12.001
UR  - https://arxiv.org/abs/1312.7102
ID  - 1312.7102
ER  -