Recommendations
Cites work
- scientific article; zbMATH DE number 3112803 (Why is no real title available?)
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 3987247 (Why is no real title available?)
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 1222088 (Why is no real title available?)
- scientific article; zbMATH DE number 1231567 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- A computational model for metric spaces
- A domain-theoretic approach to computability on the real line
- Algorithmic operators in constructive metric spaces
- Berechenbare Reelle Funktionen
- Complete local rings as domains
- Computability on computable metric spaces
- Computable functionals
- Computable functionals of finite types
- Domain representability of metric spaces
- Domain representations of topological spaces
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Recursive metric spaces
- Theory of representations
Cited in
(23)- On the domain of formal balls of the Sorgenfrey quasi-metric space
- A domain-theoretic approach to fuzzy metric spaces
- scientific article; zbMATH DE number 6819299 (Why is no real title available?)
- Effective metric spaces and representations of the reals.
- Computability of compact operators on computable Banach spaces with bases
- scientific article; zbMATH DE number 2247268 (Why is no real title available?)
- Complete partial metric spaces have partially metrizable computational models
- Bounded time computation on metric spaces and Banach spaces
- Essential and density topologies of continuous domains
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- On computable compact operators on Banach spaces
- Interpolation functor and computability.
- Banach domains: computational models of Banach spaces
- On the construction of domains of formal balls for uniform spaces
- Banach spaces as data types
- A mathematical model for network with structures in the mesoscale
- Effectiveness in RPL, with applications to continuous logic
- A quantitative computational model for complete partial metric spaces via formal balls
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
- A domain-theoretic approach to computability on the real line
- Uniform domain representations of ℓp-spaces
- Experiments on an internal approach to typed algorithms in analysis
- Foundation of a computable solid modelling.
This page was built for publication: Computable Banach spaces via domain theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292403)
