Леонов, Геннадий Алексеевич, Николай Владимирович Кузнецов, Елена Владимировна Кудряшова, и Ольга Александровна Кузнецова. Современные методы символьных вычислений: ляпуновские величины и 16-я проблема Гильберта. Труды СПИИРАН 1, no. 16 (март 1, 2011): 5-36. просмотрено декабрь 4, 2024. https://ia.spcras.ru/index.php/sp/article/view/1531.