- journal article file
Hardness of embedding simplicial complexes in Rd
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
- 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
High order VEM on curved domains | EMS Press
Jun 22, 2019 ... ... computability, is evaluated after applying the projector Π∇ onto the space of polynomials. Numerical experiments confirm the theory. Cite ...
- journal article file
Mini-Workshop: The Homotopy Interpretation of Constructive Type ...
since its constructivity is also a kind of computability: thus it can be viewed as ... tutorials on dependent type theory and homotopy theory, by sketching 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 ...
- other
The arithmetic and topology of differential equations
the whole modern theory of automorphic forms via the representation theory of ... for an explicitly computable Hauptmodul t and modular form f of weight 1, the.
- 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 ...
- book chapter
Tameness in geometry and arithmetic: beyond o-minimality | EMS ...
The theory of o-minimal structures provides a powerful framework for the study of geometrically tame structures ... computability results for various ...
- journal article file
Set Theory
Any collection of structurally sta- ble diffeomorphisms have continuously computable complete numerical invariants. (Continuity is with respect to the C1- ...
- journal article file
Mini-Workshop: Constructive Homological Algebra with Applications ...
There, the cur- rent state already reached a level of generality which allows simultaneous application to diverse fields of applied and theoretical mathematics.