χ www.software.ibm.com techexplorer n - ActiveX - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2001-12-20 09:49:25 Markup languages Mathematical markup languages MathML Wolfram Research Formula editors Internet Explorer Mathematica ActiveX Applet Software Computing Mathematical software		χ www.software.ibm.com/techexplorer n Add to Reading List Source URL: tug.org Download Document from Source Website File Size: 36,24 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