Searching…
Jun 30, 2008 ... ... theory, or compression techniques and encoding in signal and image processing. ... computability for certain problem classes in numerical ...
[3] R. G. Downey, Computability theory and linear orderings. In Handbook of recursive mathe- matics, Vol. 2, pp. 823–976, Stud. Logic Found. Math. 139 ...
Jun 22, 2019 ... ... computability, is evaluated after applying the projector Π∇ onto the space of polynomials. Numerical experiments confirm the theory. Cite ...
... computability; Sigma-definability; computability theory on admissible ordinals; E-recursion theory; local computability; and uncountable reverse mathematics.
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
... computability theory to classify functions over the natural numbers. In this context, the Weihrauch theory of reducibility plays an important role. For an ...
since its constructivity is also a kind of computability: thus it can be viewed as ... It is in considering this question that the connection with homotopy theory ...
The theory of o-minimal structures provides a powerful framework for the study of geometrically tame structures ... computability results for various ...
The halting problem. In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an ...
Jun 1, 2014 ... ... theory. High dimensional problems cannot be solved by traditional ... These have drastically advanced the frontiers of computability for certain ...