Computable analysis

DOI10.1007/11494645_64MaRDI QIDQ5717084zbMATH OpenOpenAlexFDO

Authors Klaus Weihrauch

Publication date 11 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136981

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• A tutorial on computable analysis
• Computable analysis. An introduction
• A foundation for computable analysis
• Real computations with fake numbers
• scientific article; zbMATH DE number 2013199

Cited in

(32)

• On approximate and algebraic computability over the real numbers
• On constructive number fields and computability of solutions of PDEs
• Computable aggregations
• Computability in harmonic analysis
• Execution trace sets for real computation
• Relevance and feasibility of mathematical analysis on the computer. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, March 21--22, 2000
• Three lectures on real computation
• Computability in analysis
• Abstract Geometrical Computation and Computable Analysis
• Computability and analysis, a historical approach
• Computing over the reals: foundations for scientific computing.
• Basic properties of computable numbers
• Computability of analytic functions with analytic machines
• scientific article; zbMATH DE number 4020334 (Why is no real title available?)
• Some Elementary Results About the Equivalence of Computability and Decidability
• Computational models for feasible real analysis
• scientific article; zbMATH DE number 3557760 (Why is no real title available?)
• Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
• scientific article; zbMATH DE number 1303206 (Why is no real title available?)
• A foundation for computable analysis
• A foundation for computable analysis
• Proof theory and Post-Turing analysis
• Computability in analysis
• scientific article; zbMATH DE number 1390023 (Why is no real title available?)
• Real computations with fake numbers
• Handbook of computability and complexity in analysis
• Computable complex analysis
• Computable analysis with applications to dynamic systems
• A tutorial on computable analysis
• Computability Models: Algebraic, Topological and Geometric Algorithms
• Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing
• A characterization of computable analysis on unbounded domains using differential equations

This page was built for publication: Computable analysis

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