On Constructive number fields and computability of solutions of PDEs


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

In this paper we find a connection between constructive number fields and computable reals. This connection is applied to prove the computability in the rigorous sense of computable analysis) of solutions of some important systems of partial differential equations, by means of algorithms which are really used in numerical analysis.

Авторлар туралы

S. Selivanova

Sobolev Institute of Mathematics, Siberian Branch; Novosibirsk State University

Хат алмасуға жауапты Автор.
Email: s_seliv@math.nsc.ru
Ресей, Novosibirsk, 630090; Novosibirsk, 630090

V. Selivanov

Novosibirsk State University; Ershov Institute of Informatic Systems, Siberian Branch

Email: s_seliv@math.nsc.ru
Ресей, Novosibirsk, 630090; Novosibirsk, 630090

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Pleiades Publishing, Ltd., 2017