Searching…
ber theory, Waldschmidt introduced an asymptotic quantity bα(I) [36] for ... In [3] we introduce the notion of linear computability. By this notion we ...
To make this precise one nowadays uses the language of p-adic Hodge theory. ... As for the computability of those decompositions, consider first the case k ...
Theory and Rel. Fields. 138 (2007), 581–645. [3] J. Bricmont and A ... Moreover, we discuss computability issues for computing the asymptotic velocity ...
The main ideas of this paper came to the fore during the Trends in. Proof Theory workshop in February 2024 at TU Vienna. ... Computability. 11 (2022), no. 1 ...
Although the nonlinear functions arising in MINLP may be transcenden- tal (e.g. log, exp and trigonometric functions), most of the developed theory is limited ...
There are alternative approaches based on equations in S-units and Baker's theory on linear forms ... Then vor( ) vor(¯) is computable. . 3. COMPUTABILITY.
Jun 15, 2000 ... theory (the topological stability conjecture or relative categoricity in abelian groups) and computability (computability and complexity) ...
cluding graph theory, information theory, combinatorial optimization, polyhedral ... McCormick, Computability of global solutions to factorable nonconvex ...
The derived smaller models build bridges to the whole large-scale models, which are currently beyond our computability horizon. ... and arithmetics; K-theory and ...
Jun 30, 2001 ... putation and computability, symmetry, motion, force, energy ... tion theory and even theoretical physics. The topic can be explained ...