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