John Baez Algebraic Topological Methods in Computer Science 2008, University of Paris Diderot (Paris 7) July 7, 2008 Computation and the Periodic Table By now there is an extensive network of interlocking analogies between physics, topology, logic and computer science, which can be seen most easily by comparing the roles that symmetric monoidal closed categories play in each subject. However, symmetric monoidal categories are just the n = 1, k = 3 entry of a hypothesized "periodic table" of k-tuply monoidal n-categories. This raises the question of how these analogies extend. We present some thoughts on this question, focusing on how symmetric monoidal closed 2-categories might let us understand the lambda calculus more deeply. This is based on work in progress with Mike Stay. Click on this to see the transparencies of the talk:
An introduction to 2-categories is given by illustrating how the structure of typed lambda calculus may naturally be viewed as a 2-category. In this vein. the structure of computations or conversions gives rise to notions of lax 2':"adjointness.
What’s easy for a computer to do, and what’s almost impossible? Those questions form the core of computational complexity. We present a map of the landscape: P, NP, etc.
REDUCE is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot above) but also provides a full programming language, with a syntax similar to other modern programming languages.
This book contains guidelines and advices on how to write efficient software using the C++ language. Software correctness and maintainability are taken into account, but are not the primary concerns of the guidelines.
The Collected Algorithms (CALGO) is part of a family of publications produced by the ACM. Software associated with papers published in the Transactions on Mathematical Software, as well as other ACM journals are incorporated in CALGO.
‘A Byte of Python’ is a free book on programming using the Python language. It serves as a tutorial or guide to the Python language for a beginner audience.
Established in 1969 the CPC Program Library now contains more than 2200 programs in computational physics and chemistry. Papers describing the programs are published in the Computer Physics Communications Journal and are available online via Science Direct.
A. Bhagat, B. Sayankar, and P. Agrawal. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (2):
545--548(February 2015)