Computer-Assisted Discovery and Proof

Bailey, David H. ; Borwein, Jonathan M.

Lawrence Berkeley National Laboratory

关键词: Computers;    Computerized Simulation;    Mathematical Models;    97;   

DOI  :  10.2172/983782
RP-ID  :  LBNL-3535E
RP-ID  :  DE-AC02-05CH11231
RP-ID  :  983782

美国|英语

来源: UNT Digital Library

【 摘 要 】

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. his article presents several specific examples of this new paradigm in action.