On Constructive number fields and computability of solutions of PDEs


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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