national association of mathematicians CONTENTS IN THE NEWS 1 Mathematica, Maple, IDL or

First Page		Document Content
Date: 2006-10-06 09:00:36 Array programming languages Cross-platform software Functional languages Earth sciences graphics software MATLAB Mathematica Maple Scott W. Williams Numerical analysis Software Mathematical software Science		national association of mathematicians CONTENTS IN THE NEWS 1 Mathematica, Maple, IDL or Add to Reading List Source URL: www.math.buffalo.edu Download Document from Source Website File Size: 777,96 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