Computer-assisted discovery and proof

Bailey, David H.; Borwein, Jonathan M.

Computer-assisted discovery and proof

journal contribution

posted on 2025-05-10, 08:33 authored by David H. Bailey, Jonathan M. Borwein

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.

History

Journal title

Contemporary Mathematics

Volume

457

Pagination

21-52

Publisher

American Mathematical Society

Language

en, English

College/Research Centre

Faculty of Science and Information Technology

School

School of Mathematical and Physical Sciences

Rights statement

First published in Contemporary Mathematics in Vol. 457, p. 21-52, 2008, published by the American Mathematical Society

Usage metrics

Keywords

mathematical software computer hardware discovery proof mathematical facts computer assisted

Computer-assisted discovery and proof

History

Journal title

Volume

Pagination

Publisher

Language

College/Research Centre

School

Rights statement

Usage metrics

Categories

Keywords

Licence

Exports