Version: 5.01 fitting and equation discovery

First Page		Document Content
Date: 2009-09-29 04:39:52 Curve fitting Local regression Least squares Mathematica TableCurve 3D Linear regression Spline GAUSS Differential equation Statistics Regression analysis TableCurve 2D		Version: 5.01 fitting and equation discovery Add to Reading List Source URL: www.systat.de Download Document from Source Website File Size: 1,29 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