Beltrán, Harmonic properties of the logarithmic potential and the computability of elliptic ... Phys., 71 (1999), 87–172. [70] F. J. Dyson, Statistical theory of ...
27, Kluwer Academic Publishers, Boston, MA, 2000, Theory, algorithms, and applications. Page 17. Mixed-integer Nonlinear Optimization: a hatchery for modern ...
Lamplighter group, domino problem, tiling problem, decision problems in group theory,. wreath products, Diestel–Leader graphs.
Willems, Regularity theory for a new class of fractional parabolic sto- chastic evolution equations, Stochastics and Partial Differential Equations: Analysis ...
Jun 30, 2001 ... putation and computability, symmetry, motion, force, energy ... tion theory and even theoretical physics. The topic can be explained ...
Darbinyan, Computability, orders, and solvable groups. J. Symb. Log ... theory, languages, and com- putation. Third edn., Addison-Wesley Ser. Comput ...
Jun 15, 2000 ... theory (the topological stability conjecture or relative categoricity in abelian groups) and computability (computability and complexity) ...
Theory Diff. Equ. 46 (2010), 1 – 20. [14] Chiu, K. S., Pinto, M. and Jeng ... and Pinto, M., Existence, computability and stability for solu- tions of ...
The derived smaller models build bridges to the whole large-scale models, which are currently beyond our computability horizon. ... and arithmetics; K-theory and ...
There are alternative approaches based on equations in S-units and Baker's theory on linear forms ... Then vor( ) vor(¯) is computable. . 3. COMPUTABILITY.