Analysis in the Computable Number Field

DOI10.1145/321450.321460MaRDI QIDQ5542101zbMATH OpenOpenAlexFDO

Authors O. Alberth

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

zbMATH Keywords

mathematical logic

Cited in

(8)

• Computational complexity of real functions
• The concept of effective method applied to computational problems of linear algebra
• Constructive analysis and thermodynamics formulations
• scientific article; zbMATH DE number 3932271 (Why is no real title available?)
• Optimisation impossible
• A Chain of Inclusion Relations in Computable Analysis
• The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
• The prime number theorem is PRA-provable

This page was built for publication: Analysis in the Computable Number Field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5542101)