Computability in analysis

MaRDI QIDQ4902114zbMATH OpenFDO

Authors Daoyun Xu

Publication date 24 January 2013

zbMATH Keywords

effective theory of computationeffective topological spacenaming systemrepresentation of real numbertype-2 Turing machine

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Recommendations

• scientific article; zbMATH DE number 1460545
• New Computational Paradigms
• scientific article; zbMATH DE number 2013199
• A tutorial on computable analysis
• scientific article; zbMATH DE number 1107625

Cited in

(9)

• Computable aggregations
• Computability in harmonic analysis
• scientific article; zbMATH DE number 1101599 (Why is no real title available?)
• scientific article; zbMATH DE number 1107625 (Why is no real title available?)
• scientific article; zbMATH DE number 2013199 (Why is no real title available?)
• Weihrauch Complexity in Computable Analysis
• Computable analysis with applications to dynamic systems
• Computer Science Logic
• Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing

This page was built for publication: Computability in analysis

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