Leonov, G., Kuznetsov, N., Kudryashova, E. and Kuznetsova, O. 2011. Modern symbolic computation methods: Lyapunov quantities and 16th Hilbert problem. SPIIRAS Proceedings. 1, 16 (Mar. 2011), 5-36. DOI:https://doi.org/10.15622/sp.16.1.