Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «О КОНСТРУКТИВНЫХ ЧИСЛОВЫХ ПОЛЯХ И ВЫЧИСЛИМОСТИ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ В ЧАСТНЫХ ПРОИЗВОДНЫХ, "Доклады Академии наук"»

Авторы:
  • Селиванова С. В.1
  • Селиванов В. Л.2
стр. 278-281
Платно
1 Институт математики им. С.Л. Соболева Сибирского отделения Российской Академии наук; Новосибирский государственный университет, 2 Новосибирский государственный университет; Институт систем информатики им. А.П. Ершова Сибирского отделения Российской Академии наук
Аннотация:
В работе установлена связь между конструктивными числовыми полями и вычислимыми действительными числами. Эта связь применена для доказательства вычислимости (в строгом смысле вычислимого анализа) решений важных систем дифференциальных уравнений в частных производных, причём с использованием алгоритмов, реально применяемых в численном анализе.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.