Searching…
May 23, 2007 ... and Zhong,. N., editors, Fourth International Conference on Computability and Complexity in Analysis,. Electronic Notes in Theoretical Computer ...
The goal of these notes is to explain the relation between CEP and TP, describe the approach to Tsirelson's problem through computability theory, and sketch how ...
[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 ...
May 15, 2007 ... Algorithmic randomness and computability. Rodney G. Downey · DOI ... Representation theory and the cohomology of arithmetic groups. Birgit ...
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 ...
Jun 1, 2014 ... ... theory. High dimensional problems cannot be solved by traditional ... These have drastically advanced the frontiers of computability for certain ...
Jan 26, 2015 ... arbitrary fiber squares as independent squares, and computability on relatively simple spaces, such as toric varieties. In future work, we ...
A. S. Marks, Uniformity, universality, and computability theory. J. Math. Log. 17. (2017), no. 1. [40]. A. Marks and S. Unger, Borel circle squaring. Ann. of ...