Microsoft Word - AM30February 2007 Teacher Notes.doc - Mathematical Notes - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-11-15 17:27:09 Spreadsheet Graphing calculator Mathematics Mathematica Applied mathematics Software calculator Mathematical software Science Application software		Microsoft Word - AM30February 2007 Teacher Notes.doc Add to Reading List Source URL: education.alberta.ca Download Document from Source Website File Size: 280,28 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