Формальные решения линейных дифференциальных уравнений и их применение в теории трансцендентных чисел

Разработан метод доказательства приводимости линейных дифференциальных уравнений, основанный на использовании алгебраических свойств формальных решений этих уравнений в окрестности иррегулярной особой точки. Полученные результаты применены для исследования арифметической природы значений гипергеометрических функций.