- book
Proceedings of the International Congress of Mathematicians ...
May 15, 2007 ... Algorithmic randomness and computability. Rodney G. Downey · DOI ... Representation theory and the cohomology of arithmetic groups. Birgit ...
- journal article
Wavelet and Multiscale Methods | EMS Press
Mar 2, 2011 ... These have advanced the frontiers of computability for certain problem classes in numerical analysis. ... theory and machine learning; the ...
- journal article
Multiscale and High-Dimensional Problems | EMS Press
Jun 1, 2014 ... ... theory. High dimensional problems cannot be solved by traditional ... These have drastically advanced the frontiers of computability for certain ...
- journal article file
Mathematisches Forschungsinstitut Oberwolfach Mini-Workshop ...
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 ...
- other
Contents
Algorithmic randomness and computability . ... Representation theory and the cohomology of arithmetic groups .
- journal article file
Mini-Workshop: Constructive Homological Algebra with Applications ...
Introducing modules as an intrinsic description of linear functional systems in system theory opened the door to apply homological techniques stemming from.
- journal article file
Mathematisches Forschungsinstitut Oberwolfach Topological and ...
Theory, Ser. A, 61:309-318, 1992. New Constructions of Epsilon-Nets ... Computability theory and differential geometry. Bull. Symbolic Logic, 10(4): ...
- journal article file
Every file is a program, but not the reverse
Nov 15, 2024 ... Scientific theories of proof and computability can then be developed on this basis, but the philosophical debate will continue on the ...
- journal article file
Mathematisches Forschungsinstitut Oberwolfach Field Arithmetic
Apr 25, 2018 ... an algebraic approach, using elementary group theory, Artin-Schreier theory and. Kummer theory. ... remarks that by computability theory, there is ...
- journal article file
Diffeotopy Functors of ind-Algebras and Local Cyclic Cohomology
Nov 20, 2003 ... The second issue which distinguishes local cyclic cohomology among most other cyclic theories is its computability in terms of homological ...