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)
- A semilattice of degrees of computable metrics
- New degree spectra of Polish spaces
- Computability of measurable sets via effective metrics
- Sheaf toposes for realizability
- 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
- 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
- Randomness for non-computable measures
- A computable approach to measure and integration theory
- Intersection points of planar curves can be computed
- Characterizing Computable Analysis with Differential Equations
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
- A certified, corecursive implementation of exact real numbers
- Towards using exact real arithmetic for initial value problems
- Can we compute the similarity between surfaces?
- Reducibility of computable metrics on the real line
- The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited
- Computability of Polish spaces up to homeomorphism
- Game characterizations and lower cones in the Weihrauch degrees
- Computable metrics above the standard real metric
- Quantified constraints under perturbation
- Computable topological groups and Pontryagin duality
- Computable analysis and classification problems
- Degrees of non-computability of homeomorphism types of Polish spaces
- On the computational complexity of the Dirichlet problem for Poisson's equation
- Average-case polynomial-time computability of Hamiltonian dynamics
- Effectively open real functions
- The metamathematics of ergodic theory
- A characterization of computable analysis on unbounded domains using differential equations
- Co-c.e. sets with disconnected complements
- On degree spectra of topological spaces
- Classification of computably approximable real numbers
- Bit-complexity of solving systems of linear evolutionary partial differential equations
- Technical report: computation on the extended complex plane and conformal mapping of multiply-connected domains
- The elementary computable functions over the real numbers: applying two new techniques
- A variational principle in the parametric geometry of numbers, with applications to metric Diophantine approximation
- An analog characterization of the Grzegorczyk hierarchy
- Undecidability in Rn: Riddled Basins, the KAM Tori, and the Stability of the Solar System
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations
- Computable structures and operations on the space of continuous functions
- A computable version of the Daniell-Stone theorem on integration and linear functionals
- Randomness and the ergodic decomposition
- Implementing real numbers with RZ
- Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
- Semantics of a sequential language for exact real-number computation
- On \(0'\)-computable reals
- Admissible representations for probability measures
- Computable metrization
- A note on \(p\)-adic simplicial volumes
- Decomposing Borel functions using the Shore-Slaman join theorem
- Computable de Finetti measures
- Computability versus exact computability of martingales
- Spectrum of the field of computable real numbers
- Operational domain theory and topology of sequential programming languages
- Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions
- Partial Randomness and Dimension of Recursively Enumerable Reals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computable exchangeable sequences have computable de Finetti measures
- On Σ‐definability without equality over the real numbers
- Computer Science Logic
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
- Generalized effective completeness for continuous logic
- Admissible digit sets
- Divergence bounded computable real numbers
- Stability versus speed in a computable algebraic model
- Three concepts of decidability for general subsets of uncountable spaces
- The Hausdorff-Ershov hierarchy in Euclidean spaces
- Primitive recursive real numbers
- Abstract State Machines with Exact Real Arithmetic
- The computable kernel of abstract state machines
- Complexity of operators on compact sets
- Programming Experimental Procedures for Newtonian Kinematic Machines
- Online computations of differentiable functions
- A Survey on Analog Models of Computation
- Type two computability of social choice functions and the Gibbard-Satterthwaite theorem in an infinite society
- The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience)
- On the computational content of the Lawson topology
- Effective continuities on effective topological spaces
- The basic feasible functionals in computable analysis
- Jordan curves with polynomial inverse moduli of continuity
- Game characterizations and lower cones in the Weihrauch degrees
- On Turing degrees of points in computable topology
- On the complexity of computing the logarithm and square root functions on a complex domain
- A computable version of Banach's inverse mapping theorem
- Computations via Newtonian and relativistic kinematic systems
- Computing Schrödinger propagators on type-2 Turing machines
- Proceedings of the 6th workshop on computability and complexity in analysis (CCA 2004), Lutherstadt Wittenberg, Germany, August 16--20, 2004
- A topological view on algebraic computation models
- Characterization of sets of limit measures of a cellular automaton iterated on a random configuration
- Alan Turing and the foundations of computable analysis
- Hierarchies of function classes defined by the first-value operator
- A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
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)
