Searching…
Jun 30, 2001 ... putation and computability, symmetry, motion, force, energy ... tion theory and even theoretical physics. The topic can be explained ...
cluding graph theory, information theory, combinatorial optimization, polyhedral ... McCormick, Computability of global solutions to factorable nonconvex ...
Darbinyan, Computability, orders, and solvable groups. J. Symb. Log ... theory, languages, and com- putation. Third edn., Addison-Wesley Ser. Comput ...
Theory and Rel. Fields. 138 (2007), 581–645. [3] J. Bricmont and A ... Moreover, we discuss computability issues for computing the asymptotic velocity ...
Klein, From Koopman-von Neumann theory to quantum theory, Quantum Stud. Math ... remark, that local optimization by gradients methods requires the computability.
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 ...
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 ...
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 ...
Lozovanu, Local positivity of linear series on surfaces, Algebra Number. Theory 12 (2018), 1–34. ... Topic 1: Computability and rationality of multipoint Seshadri ...
Jun 15, 2000 ... theory (the topological stability conjecture or relative categoricity in abelian groups) and computability (computability and complexity) ...