On Constructive number fields and computability of solutions of PDEs
Sign Up to like & getrecommendations! Published in 2017 at "Doklady Mathematics"
DOI: 10.1134/s1064562417060138
Abstract: 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… read more here.
Keywords: number fields; solutions pdes; constructive number; fields computability ... See more keywords