Computer Assisted Mathematics

研究人员建议用电脑辅助 数学研究。 提出了几个项目，其中 计算机将发挥至关重要的作用：在制定的例子， 帮助制定和测试重要的战略，并在 实际执行证明的关键计算步骤， 用手做不可行的定理。 感兴趣的领域 包括; 1. 大的简单的群体，结，党派游戏，格子和 球形包装 2. 物质的稳定性。 3. 有限环上指数和的等分布 领域的 虽然这些区域代表不同的（但不是不相交的） 数学学科，统一和引人注目的方面是 需要计算和技术资源， 研究人员可以分享。

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.