c W.C Carter Lecture 8 MITFall 2012

First Page		Document Content
Date: 2012-09-24 14:02:45 Elementary mathematics Linear algebra Binary operations Complex numbers Number Imaginary number Real number Mathematica Imaginary unit Mathematics Algebra Group theory		c W.C Carter Lecture 8 MITFall 2012 Add to Reading List Source URL: pruffle.mit.edu Download Document from Source Website File Size: 361,57 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