Computer-Assisted Discovery and Proof

Bailey, David H. ; Borwein, Jonathan M.

关键词: 97;    COMPUTERS;    COMPUTERIZED SIMULATION;    MATHEMATICAL MODELS;   

DOI  :  10.2172/983782
RP-ID  :  LBNL-3535E
PID  :  OSTI ID: 983782
Others  :  TRN: US201014%%1802

美国|英语

来源: SciTech Connect

【 摘 要 】

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.