1. Leonov G., Kuznetsov N., Kudryashova E., Kuznetsova O. Modern symbolic computation methods: Lyapunov quantities and 16th Hilbert problem // SPIIRAS Proceedings. 2011. № 16 (1). C. 5-36.