Yearly Report FY[removed]Part III: Project Summaries Part III

First Page		Document Content
Date: 2006-02-06 13:18:43 Numerical software Template Numerical Toolkit LAPACK++ LAPACK Mathematica Basic Linear Algebra Subprograms Sage Computational science Singular value decomposition Mathematical software Mathematics Numerical analysis		Yearly Report FY[removed]Part III: Project Summaries Part III Add to Reading List Source URL: math.nist.gov Download Document from Source Website File Size: 2,16 MB 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