Abstract geometrical computation. V: Embedding computable analysis

DOI10.1007/S11047-010-9229-6MaRDI QIDQ1761691zbMATH OpenOpenAlexFDO

Authors Jérôme O. Durand-Lose

Publication date 15 November 2012

Published in Natural Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11047-010-9229-6

zbMATH Keywords

abstract geometrical computationanalog computationcomputable analysissignal machinetype-2 Turing machine

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Computation over the reals, computable analysis (03D78)

Recommendations

• Abstract Geometrical Computation and Computable Analysis
• Abstract geometrical computation. I: Embedding black hole computations with rational numbers
• scientific article; zbMATH DE number 1101599
• Real number computation through Gray code embedding.
• Abstract geometrical computation. IV: Small Turing universal signal machines

Cites work

• (Short) Survey of Real Hypercomputation
• Abstract Geometrical Computation and Computable Analysis
• Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model
• Abstract geometrical computation. I: Embedding black hole computations with rational numbers
• Abstract geometrical computation. III: Black holes for classical and analog computing
• Abstract geometrical computation. IV: Small Turing universal signal machines
• Analytic machines
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Non-Turing computations via Malament--Hogarth space-times
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• On the definitions of computable real continuous functions
• Polynomial differential equations compute all real computable functions on computable compact intervals

Cited in

(9)

• Real number computation through Gray code embedding.
• A universal oracle for signal machines
• Abstract geometrical computation. 11: Slanted firing squad synchronisation on signal machines
• Ways to compute in Euclidean frameworks
• Abstract geometrical computation. VII: Geometrical accumulations and computably enumerable real numbers
• Geometrical accumulations and computably enumerable real numbers
• Abstract Geometrical Computation and Computable Analysis
• The Geometry of Computation-Graph Abstraction
• Abstract Geometrical Computation and the Linear Blum, Shub and Smale Model

This page was built for publication: Abstract geometrical computation. V: Embedding computable analysis

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