A Review of Mathematica RICHARD J. FATEMAN ∗ [removed]

First Page		Document Content
Date: 2005-08-29 16:56:59 Computer algebra systems Cross-platform software Functional languages Wolfram Research Mathematica Macsyma Sage Symbolic computation Pattern matching Software Mathematical software Science		A Review of Mathematica RICHARD J. FATEMAN ∗ [removed] Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 255,25 KB 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