Abstract
Long before current graphic, visualisation and geometric tools were available, John E. Littlewood (1885-1977) wrote in his delightful Miscellany:
A heavy warning used to be given [by lecturers] that pictures are not rigorous; this has never had its bluff called and has permanently frightened its victims into playing for safety. Some pictures, of course, are not rigorous, but I should say most are (and I use them whenever possible myself). [p. 53]
Over the past five years, the role of visual computing in my own research has expanded dramatically. In part this was made possible by the increasing speed and storage capabilities—and the growing ease of programming—of modern multi-core computing environments.
But, at least as much, it has been driven by my group’s paying more active attention to the possibilities for graphing, animating or simulating most mathematical research activities.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Aragon, F., Borwein, J.M.: Global convergence of a non-convex Douglas-Rachford iteration. J. Global Optim. 57(3), 753–769 (2013)
Aragon, F., Bailey, D.H., Borwein, J.M., Borwein, P.B.: Walking on real numbers. Mathematical Intelligencer 35(1), 42–60 (2013)
Aragon, F., Borwein, J.M., Tam, M.: Douglas-Rachford feasibility methods for matrix completion problems. ANZIAM Journal (accepted March 2014)
Bailey, D.H., Borwein, J.M.: Exploratory Experimentation and Computation. Notices of the AMS 58(10), 1410–1419 (2011)
Borwein, J., Devlin, K.: The Computer as Crucible: an Introduction to Experimental Mathematics. AK Peters (2008)
Borwein, J.M., Straub, A.: Mahler measures, short walks and logsine integrals. Theoretical Computer Science 479(1), 4–21 (2013)
Borwein, J.M., Skerritt, M., Maitland, C.: Computation of a lower bound to Giuga’s primality conjecture. Integers 13 (2013), Online September 2013 at #A67, http://www.westga.edu/~integers/cgi-bin/get.cgi
Borwein, J.M., Straub, A., Wan, J., Zudilin, W. (with an Appendix by Don Zagier): Densities of short uniform random walks. Can. J. Math. 64(5), 961–990 (2012)
Bornemann, F., Laurie, D., Wagon, S., Waldvogel, J.: The SIAM 100-Digit Challenge: A Study In High-accuracy Numerical Computing. SIAM, Philadelphia (2004)
Hanna, G., de Villiers, M. (eds.) ICMI, Proof and Proving in Mathematics Education, The 19th ICMI Study. New ICMI Study Series, vol. 15. Springer (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borwein, J.M. (2014). Experimental Computation and Visual Theorems. In: Hong, H., Yap, C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-44199-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44198-5
Online ISBN: 978-3-662-44199-2
eBook Packages: Computer ScienceComputer Science (R0)