Леонов, Геннадий Алексеевич, Николай Владимирович Кузнецов, Елена Владимировна Кудряшова, и Ольга Александровна Кузнецова. 2011. Современные методы символьных вычислений: ляпуновские величины и 16-я проблема Гильберта. Труды СПИИРАН 1 (16), 5-36. https://doi.org/10.15622/sp.16.1.