Topological properties of real number representations.
From MaRDI portal
(Redirected from Publication:1607288)
Recommendations
Cites work
- scientific article; zbMATH DE number 3987247 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- A Real Number Structure that is Effectively Categorical
- Berechenbare Reelle Funktionen
- Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
- Representations of the real numbers and of the open subsets of the set of real numbers
- Theory of representations
- Zur Präzisierung des Begriffes Berechenbare Reelle Funktion
Cited in
(26)- Recursive quasi-metric spaces.
- A semilattice of degrees of computable metrics
- A stream calculus of bottomed sequences for real number computation
- On the complexity of conversion between classic real number representations
- scientific article; zbMATH DE number 1164976 (Why is no real title available?)
- Representations of the real numbers and of the open subsets of the set of real numbers
- Representations of complete uniform spaces via uniform domains
- Some hierarchies of \(\mathsf{QCB}_0\)-spaces
- A comparison of certain representations of regularly closed sets
- Computability on subsets of metric spaces.
- Real functions computable by finite automata using affine representations.
- Real number computation through Gray code embedding.
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints
- Generalizing Computability Theory to Abstract Algebras
- Revising type-2 computation and degrees of discontinuity
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints
- A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- On coalgebra of real numbers
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
- On the uniform computational content of computability theory
- A Galois connection between Turing jumps and limits
- On the algebraic structure of Weihrauch degrees
- Admissible digit sets
- A faithful computational model of the real numbers
- Uniform continuity of relations and nondeterministic cellular automata
This page was built for publication: Topological properties of real number representations.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1607288)
