DocServer

Computer-Assisted Discovery and Proof

Bailey, David H. and Borwein, Jonathan M. (2008) Computer-Assisted Discovery and Proof. Contemporary Mathematics, 457 . pp. 21-52. ISSN 0271-4132

This is the latest version of this item.

[img]
Preview
PDF
Available under License Creative Commons Attribution.

Download (276Kb) | Preview

    Abstract

    With the advent of powerful, widely-available mathematical software, combined with ever-faster computer hardware, we are approaching a day when both the discovery and proof of mathematical facts can be done in a computer-assisted manner. This article presents several specific examples of this new paradigm in action. Kronecker said "In mathematics, I recognize true scientific value only in concrete mathematical truths, or to put it more pointedly, only in mathematical formulas." I would rather say "computations" than "formulas," but my view is essentially the same. -- Harold Edwards, Essays in Constructive Mathematics, 2004 All truths are easy to understand once they are discovered; the point is to discover them. -- attributed to Galileo Galilei

    Item Type: Article
    Additional Information: pubdom FALSE
    Subjects: 68-xx Computer science > 68Uxx Computing methodologies and applications
    Faculty: UNSPECIFIED
    Depositing User: lingyun ye
    Date Deposited: 04 Mar 2007
    Last Modified: 23 Feb 2015 16:03
    URI: https://docserver.carma.newcastle.edu.au/id/eprint/338

    Available Versions of this Item

    Actions (login required)

    View Item