Searching…
In the past decade, Mark Braverman has emerged as a major leader in theoretical computer science. He has an uncommon versatility and fearlessness that has ...
Considerations from computability theory [43] tell us that effective Cauchy rates are in general excluded, and one thus looks at an equivalent but ...
An algorithmic theory of lattice points in polyhedra. New. Perspectives in Algebraic Combinatorics, 38:91–147, 1999. [2] A. Barvinok and K. Woods. Short ...
Apr 25, 2018 ... an algebraic approach, using elementary group theory, Artin-Schreier theory and. Kummer theory. ... remarks that by computability theory, there is ...
Theory Rel. Fields 113, 301–413. Bartlett, P.L., Jordan, M.I. and McAuliffe ... The Gaussian hare and the Laplacian tortoise: computability of squared error ...
Computability theory and differential geometry. Bull. Symbolic Logic, 10(4):457–. 486, 2004. [15] A. J. Zomorodian. Topology for computing, volume 16 of ...
Rogers, Jr., Theory of recursive functions and effective computability. 2nd ed., MIT. Press, Cambridge, MA, 1987. MR 886890. [26] D. Sonkin, CEP-subgroups of ...
theory, set theory and Banach spaces, metric structures. Mathematics ... PRIN 2017-2017NWTM8R Mathematical Logic: models, sets, computability. MSC ...
Pauly. (eds), Revolutions and Revelations in Computability. CiE 2022, vol. 13359 in Lecture. Notes in Comput. Sci., pages 172–185. Springer, Cham, 2022.
cluding graph theory, information theory, combinatorial optimization, polyhedral ... McCormick, Computability of global solutions to factorable nonconvex ...