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