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