DocServer

Experimental mathematics: examples, methods and implications

Bailey, David H. and Borwein, Jonathan M. (2005) Experimental mathematics: examples, methods and implications. Notices of the American Mathematical Society, 52 (5). pp. 502-514.

[img]
Preview
PDF
Download (692Kb) | Preview

    Abstract

    Recent years have seen the flowering of "experimental" mathematics, namely the utilization of modern computer technology as an active tool in mathematical research. This development is not limited to a handful of researchers, nor to a handful of universities, nor is it limited to one particular field of mathematics. Instead, it involves hundreds of individuals, at many different institutions, who have turned to the remarkable new computational tools now available to assist in their research, whether it be in number theory, algebra, analysis, geometry or even topology. These tools are being used to work out specific examples, generate plots, perform various algebraic and calculus manipulations, test conjectures, and explore routes to formal proof. Using computer tools to test conjectures is by itself a major time saver for mathematicians, as it permits them to quickly rule out false notions.

    Item Type: Article
    Uncontrolled Keywords: experimental mathematics, computer technology, testing, research tools
    Subjects: UNSPECIFIED
    Faculty: UNSPECIFIED
    Depositing User: Dr David Allingham
    Date Deposited: 28 Sep 2012 12:05
    Last Modified: 12 Jan 2015 14:47
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/1241

    Actions (login required)

    View Item