论文信息 - Experimental Mathematics in the Society of the Future

Experimental Mathematics in the Society of the Future

Computer-based tools for mathematics are changing how mathematics is researched, taught and communicated to society. Future technology trends point to ever-more powerful tools in the future. Computation in mathematics is thus giving rise to a new mode of mathematical research, where algorithms, datasets and public databases are as significant as the resulting theorems, and even the definition of what constitutes secure mathematical knowledge is seen in a new light.

Jonathan M. Borwein | David H. Bailey

[1] Jonathan M. Borwein,et al. Nonnormality of Stoneham constants , 2012 .

[2] Jonathan M. Borwein,et al. The computation of previously inaccessible digits of π² and Catalan's constant , 2013 .

[3] Jonathan M. Borwein,et al. Reflection methods for inverse problems with applications to protein conformation determination , 2017 .

[4] Jonathan M. Borwein,et al. Mathematics by experiment - plausible reasoning in the 21st century , 2003 .

[5] J. Borwein,et al. Lattice sums arising from the Poisson equation , 2013 .

[6] Jonathan M. Borwein,et al. High-precision computation: Mathematical physics and dynamics , 2010, Appl. Math. Comput..

[7] J. You. A 100-year study of artificial intelligence? Microsoft Research’s Eric Horvitz explains , 2015 .

[8] Jonathan M. Borwein,et al. Pi Day Is Upon Us Again and We Still Do Not Know if Pi Is Normal , 2014, Am. Math. Mon..

[9] J. Borwein,et al. Integrals of the Ising Class , 2006 .

[10] David Bailey,et al. On the rapid computation of various polylogarithmic constants , 1997, Math. Comput..

[11] T. Hales. Formal Proof , 2008 .

[12] D.H.J. Polymath. The "bounded gaps between primes" Polymath project - a retrospective , 2014 .

[13] J. Borwein,et al. Walking on Real Numbers , 2013 .