Searching…
Computability theory and differential geometry. Bull. Symbolic Logic, 10(4):457–. 486, 2004. [15] A. J. Zomorodian. Topology for computing, volume 16 of ...
computability for certain problem classes in numerical analysis. The current state of signal processing, learning theory, and numerical computation can be ...
Apr 25, 2018 ... an algebraic approach, using elementary group theory, Artin-Schreier theory and. Kummer theory. ... remarks that by computability theory, there is ...
theory of point processes. Another focus was the question for ... of the Möbius function, another the explicit computability of correlation functions.
The Abacus Medal honors outstanding contributions in mathematical aspects of information sciences, including theoretical com- puter science. Mathematics Subject ...
second-order theory TCA (an acronym for theory for counting arithmetic) in binary ... computability. This way (and this was our main motivation), TCA is ...
theory, set theory and Banach spaces, metric structures. Mathematics ... PRIN 2017-2017NWTM8R Mathematical Logic: models, sets, computability. MSC ...
notions of efficient computability were equivalent. ... So I had to learn, and I still have to learn much more mathematics, especially in- variant theory, ...
The main motivation for this example comes from noncommutative quantum field theory. Because of easy computability, quantum field theory on the Moyal plane is ...
Information theory and an extension of the maximum likelihood princi- ... computability of squared error versus absolute-error estimators, with discussion.