On Constructive number fields and computability of solutions of PDEs
- Авторлар: Selivanova S.V.1,2, Selivanov V.L.2,3
-
Мекемелер:
- Sobolev Institute of Mathematics, Siberian Branch
- Novosibirsk State University
- Ershov Institute of Informatic Systems, Siberian Branch
- Шығарылым: Том 96, № 3 (2017)
- Беттер: 580-582
- Бөлім: Mathematics
- URL: https://journals.rcsi.science/1064-5624/article/view/225423
- DOI: https://doi.org/10.1134/S1064562417060138
- ID: 225423
Дәйексөз келтіру
Аннотация
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
Қосымша файлдар
