Analysis in the Computable Number Field
From MaRDI portal
Publication:5542101
DOI10.1145/321450.321460zbMath0159.01201OpenAlexW2034440051MaRDI QIDQ5542101
Publication date: 1968
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321450.321460
Related Items (8)
Optimisation impossible ⋮ A Chain of Inclusion Relations in Computable Analysis ⋮ Computational complexity of real functions ⋮ The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations ⋮ The prime number theorem is PRA-provable ⋮ Constructive analysis and thermodynamics formulations ⋮ Unnamed Item ⋮ The concept of effective method applied to computational problems of linear algebra
This page was built for publication: Analysis in the Computable Number Field
