Computationally Assisted Mathematical Discovery and Experimental Mathematics
Rotman Institute of Philosophy |
34 videos |
Updated 7 years ago
ACMES 2, Computationally Assisted Mathematical Discovery and Experimental Mathematics, was a four day conference held on May 12 – 15, 2016 at Western University. 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.”
The program and further details on the conference can be accessed on the ACMES website: acmes.org
