Парамонов, С. В. О рациональных решениях линейных уравнений с частными производными или разностями [Текст] / С. В. Парамонов // Программирование. - 2013. - № 2. - С. 11-14. - Библиогр.: с. 14 (10 назв.) . - ISSN 0132-3474
Рубрики: Техника Автоматизация оборудования Кл.слова (ненормированные): линейные уравнения -- линейные однородные уравнения -- алгоритмическая неразрешимость -- рациональные функции -- рациональные решения Аннотация: Доказывается алгоритмическая неразрешимость задачи распознавания существования решений в виде рациональных функций для имеющих полиномиальные коэффициенты линейных однородных уравнений с частными производными или разностями. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Парамонов, С. В. Задача проверки существования решений дифференциальных уравнений в частных производных в полях лорановых рядов [Текст] / С. В. Парамонов // Программирование. - 2014. - № 2. - С. 26-31. - Библиогр.: с. 31 (16 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): алгоритмическая неразрешимость -- дифференциальные уравнения -- лорановые решения -- лорановые ряды -- мономиальные решения -- мономы -- полиномиальные коэффициенты -- сходящиеся ряды Аннотация: Доказывается алгоритмическая неразрешимость задачи проверки существования решений в поле лорановых рядов для линейных дифференциальных уравнений в частных производных с полиномиальными коэффициентами. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |