Computer Assisted Mathematics

计算机辅助数学

• 批准号: 8702904
• 负责人: John Conway
• 金额: $ 15.14万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-09-01 至 1990-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8702904&HistoricalAwards=false
• 关键词: Computer; Assisted; Mathematics

The investigators propose to carry out computer - assisted research in mathematics. Several projects are proposed in which computers will play a crucial role: in working out examples, in helping to formulate and test significant conjectures, and in actually carrying out key computational steps of proofs of theorems that are not feasible to do by hand. Areas of interest include; 1. Large simple groups, knots, partisan games, lattices and sphere-packing. 2. The stability of matter. 3. The equidistribution of exponential sums over finite fields. While these areas represent disparate (but not disjoint) mathematical disciplines, the unifying and compelling aspect is the need for computational and technical resources that the investigators can share.

研究人员提议开展计算机辅助数学研究。 在提出的几个项目中，计算机将发挥至关重要的作用：计算示例，帮助制定和测试重要猜想，以及实际执行手动无法完成的定理证明的关键计算步骤。 感兴趣的领域包括： 1. 大型简单群、结、党派游戏、格子和球堆积。 2.物质的稳定性。 3. 有限域上指数和的均匀分布。 虽然这些领域代表不同（但并非互不相交）的数学学科，但统一且引人注目的方面是需要研究人员可以共享的计算和技术资源。