Современные методы символьных вычислений: ляпуновские величины и 16-я проблема Гильберта - Леонов, Геннадий Алексеевич; Кузнецов, Николай Владимирович; Кудряшова, Елена Владимировна; Кузнецова, Ольга Александровна (Труды СПИИРАН, 2011)