The following pages link to (Q4485693):
Displaying 50 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Reducibilities relating to Schnorr randomness (Q285517) (← links)
- Optimization problems with fixed volume constraints and stability results related to rearrangement classes (Q302087) (← links)
- Computing with polynomial ordinary differential equations (Q306694) (← links)
- Some remarks on real numbers induced by first-order spectra (Q306827) (← links)
- Computation with perturbed dynamical systems (Q355515) (← links)
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Dimension spectra of random subfractals of self-similar fractals (Q400423) (← links)
- Computable Carathéodory theory (Q406298) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Fixed point theorems on partial randomness (Q408531) (← links)
- Closed choice and a uniform low basis theorem (Q424541) (← links)
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra (Q424551) (← links)
- The derivational complexity of string rewriting systems (Q441853) (← links)
- Computational complexity of iterated maps on the interval (Q449664) (← links)
- Characterizations of semicomputable sets of real numbers (Q478399) (← links)
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- A Wadge hierarchy for second countable spaces (Q494657) (← links)
- Fractal dimension versus process complexity (Q504699) (← links)
- Computable neighbourhoods of points in semicomputable manifolds (Q508833) (← links)
- Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma'' (Q529168) (← links)
- On the asymptotic behavior of odd operators (Q549798) (← links)
- Curves that must be retraced (Q550254) (← links)
- The computational complexity of distance functions of two-dimensional domains (Q557838) (← links)
- Independent subbases and non-redundant codings of separable metrizable spaces (Q616937) (← links)
- Beta-shifts, their languages, and computability (Q633763) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Recursive analysis of singular ordinary differential equations (Q638473) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Computability of Brolin-Lyubich measure (Q651408) (← links)
- Computability of entropy and information in classical Hamiltonian systems (Q653552) (← links)
- Computability on random events and variables in a computable probability space (Q690479) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- Representation theorems for analytic machines and computability of analytic functions (Q693052) (← links)
- Computability of countable subshifts in one dimension (Q693067) (← links)
- The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited (Q714846) (← links)
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- Co-c.e. sets with disconnected complements (Q722203) (← links)
- Abstract geometrical computation. III: Black holes for classical and analog computing (Q734212) (← links)
- Computable de Finetti measures (Q764273) (← links)
- Three concepts of decidability for general subsets of uncountable spaces (Q817852) (← links)
- Stability versus speed in a computable algebraic model (Q817853) (← links)
- Divergence bounded computable real numbers (Q817855) (← links)
- A certified, corecursive implementation of exact real numbers (Q817858) (← links)
- Admissible digit sets (Q817861) (← links)
- Computability of measurable sets via effective topologies (Q818928) (← links)
- The Hausdorff-Ershov hierarchy in Euclidean spaces (Q818930) (← links)
- A semilattice of degrees of computable metrics (Q820483) (← links)
- New degree spectra of Polish spaces (Q820494) (← links)
