Exploratory Experimentation and Computation.

Bailey, D.H. and Borwein, Jonathan M. (2012) Exploratory Experimentation and Computation. Notices of the AMS, 58 (10). pp. 1410-1419.

PDF - Accepted Version
Download (623Kb) | Preview


    We believe the mathematical research community is facing a great challenge to re-evaluate the role of proof in light of recent developments. On one hand, the growing power of current computer systems, of modern mathematical computing packages, and of the growing capacity to data-mine on the Internet, has provided marvelous resources to the research mathematician. On the other hand, the enormous complexity of many modern capstone results such as the Poincar´e conjecture, Fermat’s last theorem, and the classification of finite simple groups has raised questions as to how we can better ensure the integrity of modern mathematics. Yet as the need and prospects for inductive mathematics blossom, the requirement to ensure the role of proof is properly founded remains undiminished.

    Item Type: Article
    Subjects: UNSPECIFIED
    Faculty: UNSPECIFIED
    Depositing User: Dr David Allingham
    Date Deposited: 05 Oct 2012 13:13
    Last Modified: 03 Jan 2015 21:33

    Actions (login required)

    View Item