On Constructive number fields and computability of solutions of PDEs


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

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.

Sobre autores

S. Selivanova

Sobolev Institute of Mathematics, Siberian Branch; Novosibirsk State University

Autor responsável pela correspondência
Email: s_seliv@math.nsc.ru
Rússia, Novosibirsk, 630090; Novosibirsk, 630090

V. Selivanov

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

Email: s_seliv@math.nsc.ru
Rússia, Novosibirsk, 630090; Novosibirsk, 630090

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Pleiades Publishing, Ltd., 2017