Physics, Topology, Logic and Computation: A Rosetta Stone
by John C. Baez, Mike Stay
Publisher: arXiv 2009
Number of pages: 73
With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of 'closed symmetric monoidal category'. We assume no prior knowledge of category theory, proof theory or computer science.
Home page url
Download or read it online for free here:
by Robert Feger, Thomas W. Kephart - arXiv
We present the Mathematica application LieART (Lie Algebras and Representation Theory) for computations in Lie Algebras and representation theory, such as tensor product decomposition and subalgebra branching of irreducible representations.
by Herbert S Wilf - Dover Publications
The book for the advanced undergraduates and graduates in the natural sciences. Vector spaces and matrices, orthogonal functions, polynomial equations, asymptotic expansions, ordinary differential equations, conformal mapping, and extremum problems.
by G.Sardanashvily - arXiv
We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. This is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and systems with time-dependent parameters.
by A. Goetschy, S.E. Skipetrov - arXiv
We review the state of the art of the theory of Euclidean random matrices, focusing on the density of their eigenvalues. Both Hermitian and non-Hermitian matrices are considered and links with simpler random matrix ensembles are established.