ЛЕОНОВ, Г. А.; КУЗНЕЦОВ, Н. В.; КУДРЯШОВА, Е. В.; КУЗНЕЦОВА, О. А. Современные методы символьных вычислений: ляпуновские величины и 16-я проблема Гильберта. Труды СПИИРАН, v. 1, n. 16, p. 5-36, 1 mar. 2011.