[FOM] Computational Discovery/Experimental Mathematics

[Harvey Friedman]

Regarding http://www.cs.nyu.edu/pipermail/fom/2016-April/019659.html
>From the site https://acmes.org :

"Computational Discovery, also called Experimental Mathematics, is the
use of symbolic and numerical computation to discover patterns, to
identify particular numbers and sequences, and to gather evidence in
support of specific mathematical assertions that may themselves arise
by computational means. In recent decades, computer-assisted
mathematical discovery has profoundly transformed the strategies used
to expand mathematical knowledge. In addition to symbolic and
numerical computation, a new trend that shows tremendous potential is
the use of novel visualization techniques. The current situation was
well summarized by a recent ICMI study: "The latest developments in
computer and video technology have provided a multiplicity of
computational and symbolic tools that have rejuvenated mathematics and
mathematics education. Two important examples of this revitalization
are experimental mathematics and visual theorems." "

I think the FOM readers would appreciate some basic discussion and/or
friendly links to give us a better idea as to some principal
developments in these areas that led to this meeting.

Harvey Friedman