scientific article; zbMATH DE number 1460545
From MaRDI portal
Publication:4485693
zbMATH Open0956.68056MaRDI QIDQ4485693FDOQ4485693
Authors: Klaus Weihrauch 
Publication date: 18 June 2000
Title of this publication is not available (Why is that?)
Recommendations
computable analysiscomputabilityTuring machinestype-2 theory of effectivitycomputable metric spacesnaming systems
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Complexity of computation (including implicit computational complexity) (03D15) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)
Cited In (only showing first 100 items - show all)
- Computing the Topological Entropy of Shifts
- On Computable Compact Operators on Banach Spaces
- Revising Type-2 Computation and Degrees of Discontinuity
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems
- Dimension spectra of random subfractals of self-similar fractals
- A stream calculus of bottomed sequences for real number computation
- Computability of countable subshifts in one dimension
- Separating notions in effective topology
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
- Fixed point theorems on partial randomness
- Closed choice and a uniform low basis theorem
- Effectivizing Lusin’s Theorem
- The fan theorem and unique existence of maxima
- Notions of Probabilistic Computability on Represented Spaces
- Abstract geometrical computation. III: Black holes for classical and analog computing
- Weakly computable real numbers
- Independent subbases and non-redundant codings of separable metrizable spaces
- Characterizing time computational complexity classes with polynomial differential equations
- On the complexity of finding circumscribed rectangles and squares for a two-dimensional domain
- Reducibilities relating to Schnorr randomness
- On the asymptotic behavior of odd operators
- Coinduction for exact real number computation
- Borel complexity and computability of the Hahn-Banach theorem
- Computational bounds on polynomial differential equations
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
- Recent progress in exact geometric computation
- Continuity and computability of reachable sets
- Title not available (Why is that?)
- Probability, statistics and computation in dynamical systems
- Automata theory based on complete residuated lattice-valued logic: Turing machines
- Computability and Representations of the Zero Set
- Computable Carathéodory theory
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
- Computability on subsets of metric spaces.
- Pre-apartness structures on spaces of functions
- Some computational aspects of metric fixed-point theory
- Real number computation through Gray code embedding.
- Topological properties of real number representations.
- Abstract geometrical computation. V: Embedding computable analysis
- An optical model of computation
- Fine hierarchies and m-reducibilities in theoretical computer science
- Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
- Optimization problems with fixed volume constraints and stability results related to rearrangement classes
- Computing with polynomial ordinary differential equations
- Some remarks on real numbers induced by first-order spectra
- Metric spaces in synthetic topology
- A tutorial on computable analysis
- The Computational Complexity of Some Julia Sets
- Computability of probability measures and Martin-Löf randomness over metric spaces
- A blend of methods of recursion theory and topology.
- Computable procedures for fields
- The computable multi-functions on multi-represented sets are closed under programming
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
- Weihrauch degrees, omniscience principles and weak computability
- Unexpected distribution phenomenon resulting from Cantor series expansions
- The Kolmogorov complexity of infinite words
- A semi-potential for finite and infinite games in extensive form
- An application of Martin-Löf randomness to effective probability theory
- Topological properties of concept spaces (full version)
- Uniform test of algorithmic randomness over a general space
- Quantitative continuity and Computable Analysis in Coq
- Unified characterizations of lowness properties via Kolmogorov complexity
- Schnorr triviality and its equivalent notions
- Computable symbolic dynamics
- Effective Choice and Boundedness Principles in Computable Analysis
- Complexity Issues for Preorders on Finite Labeled Forests
- Effective Borel measurability and reducibility of functions
- Computable analysis with applications to dynamic systems
- Computation with perturbed dynamical systems
- Singular coverings and non‐uniform notions of closed set computability
- Computability, noncomputability and undecidability of maximal intervals of IVPs
- Fixed Point Theorems on Partial Randomness
- Computing interpolating sequences
- Polynomial differential equations compute all real computable functions on computable compact intervals
- On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane
- A convenient category of domains
- Local stability of ergodic averages
- On the computational complexity of the Riemann mapping
- Effectivity and effective continuity of multifunctions
- Effective Symbolic Dynamics
- The rate of convergence of the walk on spheres algorithm
- Computing the topological entropy of shifts
- Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces
- An effective Riemann Mapping Theorem
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
- Internal Density Theorems for Hierarchies of Continuous Functionals
- Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
- A semilattice of degrees of computable metrics
- New degree spectra of Polish spaces
- Computability of measurable sets via effective metrics
- In Praise of Numerical Computation
- Computability on random events and variables in a computable probability space
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- Primitive recursive ordered fields and some applications
- Implementing Real Numbers With RZ
- Computability of measurable sets via effective topologies
- A constructive theory of point-set nearness.
- On the hierarchy and extension of monotonically computable real numbers.
- Representing probability measures using probabilistic processes
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 Q4485693)
