|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проверка существования аналитических решений линейных уравнений с частными производными и Десятая проблема Гильбертадоклад на конференции
- Автор: Парамонов С.В.
- Международная Конференция (Семинар (workshop)) : 17-е Международное рабочее совещание по компьютерной алгебре
- Даты проведения конференции: 21-22 мая 2014
- Тип доклада: не указан
- Докладчик: Парамонов С.В.
- Место проведения: Дубна, Russia
-
Аннотация доклада:
Используя неразрешимость задачи, содержащейся в Десятой проблеме Гильберта, доказывается, что задача проверки существования ненулевого аналитического решения, удовлетворяющего нулевым граничным условиям, является алгоритмически неразрешимой для линейных дифференциальных уравнений в частных производных с полиномиальными коэффициентами.
- Добавил в систему: Парамонов Сергей Валерьевич