Math Department of Mathematics, Fall 2008 Times

First Page		Document Content
Date: 2008-11-07 11:18:45 Wolfram Research Year of birth missing Douglas West University of Illinois at Urbana–Champaign Bruce C. Berndt John Peter Altgeld Altgeld Hall Mathematica Stephen Wolfram Mathematical software Science Software		Math Department of Mathematics, Fall 2008 Times Add to Reading List Source URL: www.math.illinois.edu Download Document from Source Website File Size: 1.004,16 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