Computer-Assisted Discovery and Proof

[摘要] 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.

[发布日期] 2007-12-10 [发布机构] Lawrence Berkeley National Laboratory

[关键词] Computers;Computerized Simulation;Mathematical Models;97