experimental mathematics-- how are floating point equations discovered/converted to exact equations - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T17:17:56Z http://mathoverflow.net/feeds/question/115356 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/115356/experimental-mathematics-how-are-floating-point-equations-discovered-converted experimental mathematics-- how are floating point equations discovered/converted to exact equations vzn 2012-12-04T04:55:54Z 2012-12-04T08:09:16Z <p>the 2005 AMS article/survey on experimental mathematics[1] by Bailey/Borwein mentions many remarkable successes in the field including new formulas for $\pi$ that were discovered via the PSLQ algorithm as well as many other examples. however, it appears to glaringly leave out any description of the crucial step. it goes from discussing large accuracy floating point operations/formulas to stating the <em>exact</em> theoretical formulas with no discussion of the intermediate step(s).</p> <blockquote> <p>suppose a floating point formula is found experimentally that holds for many finite points of the formula to a high degree of precision. how is it proven that the abstract algebraic formula which does not use floating point arithmetic with finite accuracy is correct?</p> </blockquote> <p>this seems to relate to <em>induction</em>. of course a formula can hold for a finite number of points or finite precision but then fail for more points or "infinite" precision. is there any discussion that focuses on this step/conversion/aspect? of course a virtually identical/analogous issue arises in statistics with curve fitting and the danger of "overfitting".</p> <p>[1] <a href="http://www.ams.org/notices/200505/fea-borwein.pdf" rel="nofollow">Experimental Mathematics: Examples, Methods and Implications</a> by Bailey/Borwein, notes of the AMS, 2005</p> http://mathoverflow.net/questions/115356/experimental-mathematics-how-are-floating-point-equations-discovered-converted/115373#115373 Answer by Robert Israel for experimental mathematics-- how are floating point equations discovered/converted to exact equations Robert Israel 2012-12-04T08:09:16Z 2012-12-04T08:09:16Z <p>In most situations, floating point approximations can not prove a closed-form formula. An exception: if the value of an expression is known to be a member of a given discrete set, an accurate enough approximation can discriminate between members of that set. But once discovered by numerical methods, the BBP formula and similar ones are proven by standard techniques. In the BBP case, note that $$\sum_{k=0}^\infty \frac{z^{8k+j}}{8k+j} = \int_0^z \sum_{k=0}^\infty t^{8k+j-1}\ dt = \int_0^z \frac{t^{j-1}}{1-t^8}\ dt$$ which can be evaluated using partial fractions, and the results combined and simplified to obtain $\pi$.</p>