Computationally Assisted Mathematical Discovery and Experimental Mathematics: ACMES 2
12 May 2016 - 15 May 2016
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.”
ACMES will be held at Western University in London, ON, Canada from May 12-15, 2016. Graduate students are particularly encouraged to contribute and attend.
A copy of the conference poster is available here.
Please check the conference website for registration, conference program, information on additional events and accommodations.
|Jonathan Borwein||University of Newcastle (CARMA Institute)|
|Neil J. A. Sloane||OEIS Foundation, and Rutgers University (Dept. of Mathematics)|
|Ernest Davis||New York University (Dept. of Computer Science)|
|Patrick Fowler||Sheffield University (Dept. of Chemistry)|
|David Stoutemeyer||University of Hawaii (Dept. of Information and Computer Science)|
|Lila Kari||University of Waterloo (Dept. of Computer Science)|
|Jim Brown||University of Toronto (Dept. of Philosophy)|
|David H. Bailey||University of California, Davis (Lawrence Berkeley National Lab.)|
|Ann Johnson||Cornell University (Dept. of Science and Technology Studies)|
Key Participant: Yuri V. Matiyasevich (Russian Academy of Sciences, St. Petersburg Department of Steklov Institute of Mathematics)
View abstracts on the conference website.
The ACMES 2 video playlist now includes talks from the first two days of the conference. Remaining videos from the conference will be available soon.
- Jonathan Borwein, Newcastle (Mathematics)
- Rob Corless, Western (Applied Mathematics)
- Nicolas Fillion, SFU (Philosophy)
- David Jeffrey, Western (Applied Mathematics)
- Ilias Kotsireas, WLU (Computer Science)
- Chris Smeenk, Western (Philosophy)