Centralized computing - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-01-24 05:16:34 Cloud computing Distributed computing Karlsruhe Institute of Technology Computer cluster Organic computing Mathematica Ignacio M. Llorente Computer scientist Computing Mathematical software Software		Add to Reading List Source URL: www.intl.kit.edu Download Document from Source Website File Size: 1,37 MB Share Document on Facebook

	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA DocID: 1xVmH - View Document
	PDF Document DocID: 1xo98 - View Document
	PDF Document DocID: 1xlW0 - View Document
	PDF Document DocID: 1vPGa - View Document
	PDF Document DocID: 1vuuu - View Document