Photo from archive.org
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… Click to show full 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 of partial differential equations, by means of algorithms which are really used in numerical analysis.
Keywords:
number fields;
solutions pdes;
constructive number;
fields computability;
computability solutions
Journal Title: Doklady Mathematics
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Doklady Mathematics
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!