scientific article; zbMATH DE number 1969324
From MaRDI portal
Publication:4422786
Recommendations
Cited in
(37)- The fixed-point property for represented spaces
- Extended admissibility.
- Admissibly Represented Spaces and Qcb-Spaces
- Admissible representations of probability measures
- Computability of Subsets of Metric Spaces
- Computable analysis and notions of continuity in \textsc{Coq}
- On computability and disintegration
- Stability of representations of effective partial algebras
- A comparison of concepts from computable analysis and effective descriptive set theory
- Computable metrization
- A uniformly computable Implicit Function Theorem
- Continuous and monotone machines
- Quantitative coding and complexity theory of compact metric spaces
- Parametrised second-order complexity theory with applications to the study of interval computation
- Connected choice and the Brouwer fixed point theorem
- Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract)
- A computable and compositional semantics for hybrid systems
- Computability of measurable sets via effective topologies
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
- scientific article; zbMATH DE number 1746044 (Why is no real title available?)
- Topological properties of real number representations.
- Effectivity on continuous functions in topological spaces
- Computable Riesz representation for locally compact Hausdorff spaces
- Weihrauch goes Brouwerian
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- Computable Riesz representation for the dual of \(C[0;1]\)
- Quantitative continuity and Computable Analysis in Coq
- On the computability of the set of automorphisms of the unit square
- Comparing Cartesian closed categories of (core) compactly generated spaces
- On envelopes and backward approximations
- Observationally-induced lower and upper powerspace constructions
- Computable analysis with applications to dynamic systems
- scientific article; zbMATH DE number 7407788 (Why is no real title available?)
- Observationally-induced effect monads: upper and lower powerspace constructions
- Representations and evaluation strategies for feasibly approximable functions
- Comparing free algebras in topological and classical domain theory
- A natural weak limit space with admissible representation which is not a limit space
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4422786)
