Searching…
When this K-theory class is that of a higher rho invariant of an invertible differential operator, we show this pairing is precisely the aforementioned higher ...
[10] John Lott, Index theory for scalar curvature on manifolds with boundary, Proc. ... of computability: Even in the simplest cases, his groups are not ...
computability is not. It would be highly desirable to bridge the gap ... theory and string theory. (We have not yet described explicitly the relevant ...
Theory for neural networks has become a very active subject in the past years and combines elements from various areas in mathematics. Sta- tistical theory for ...
Keywords: special Lagrangian, Fukaya category, stability condition, geometric measure theory, symplectic geometry. Page 2. Y. Li. 324. (i) From the viewpoint of ...
Scope: model theory, computability theo- ry, proof theory, logic foundation of com- puter science. Programme committee: Yu. L. Ersdhov. (chair), S. I. Adiyan ...
Themes: 1) potential theory, function spaces, approximation theory and ... Computability theory [organisers: Steffen Lempp (Madison, WI), Manuel. Lerman ...
Proof theory and theoretical computer science. • Structural proof theory ... computability, etc., occur naturally in these non-uniform versions. This ...
In: Proceedings of the 5th Johns. Hopkins Workshop on Current Problems in Particle Theory: Unified Field Theories and ... defined notion of non-computability ...
Tools from real algebraic geometry are very well suited for studying computability and complexity questions. For example Annie Raymond spoke about the unde-.