Searching…
Pauly. (eds), Revolutions and Revelations in Computability. CiE 2022, vol. 13359 in Lecture. Notes in Comput. Sci., pages 172–185. Springer, Cham, 2022.
Computability theory and differential geometry. Bull. Symbolic Logic, 10(4):457–. 486, 2004. [15] A. J. Zomorodian. Topology for computing, volume 16 of ...
second-order theory TCA (an acronym for theory for counting arithmetic) in binary ... computability. This way (and this was our main motivation), TCA is ...
The Abacus Medal honors outstanding contributions in mathematical aspects of information sciences, including theoretical com- puter science. Mathematics Subject ...
theory of point processes. Another focus was the question for ... of the Möbius function, another the explicit computability of correlation functions.
The main motivation for this example comes from noncommutative quantum field theory. Because of easy computability, quantum field theory on the Moyal plane is ...
computability for certain problem classes in numerical analysis. The current state of signal processing, learning theory, and numerical computation can be ...
In this talk we address this problem and provide sufficient conditions that guarantee polynomial time computability of SoS proofs. Polynomial optimization ...
In: Proceedings of the 5th Johns. Hopkins Workshop on Current Problems in Particle Theory: Unified Field Theories and ... defined notion of non-computability ...
The language was then mathematically formalized by John von Neumann which turned into the eponymous theory of von Neumann algebras, a very active branch of.