| |
Парамонов, С. В.
Задача проверки существования решений дифференциальных уравнений в частных производных в полях лорановых рядов [Текст] / С. В. Парамонов
// Программирование. – 2014. – № 2. – С.26-31.
Доказывается алгоритмическая неразрешимость задачи проверки существования решений в поле лорановых рядов для линейных дифференциальных уравнений в частных производных с полиномиальными коэффициентами. |
