Mathematical Sciences Research Equipment 1989

这是科学计算研究基金会的一笔拨款 该司数学科学方案的设备 国家科学基金会的数学科学。 该计划支持购买专用计算 专门用于研究的设备， 数学科学 该设备需要几个 研究项目，并将很难证明一个 项目独自。 国家科学基金会的支持是 再加上制造商的折扣和贡献， 由提交报告的机构分摊大量费用， 这个提议 该计划是学术，企业， 与政府合作，支持基础研究， 数学科学 该设备将用于支持三项研究 项目在数学系在大学 加州，圣地亚哥：代数学中的计算机探索 Combinatorics，导演：Adriano Garsia和Jeffrey Remmel 编程和证明系统的可行逻辑，由 Jeffrey Remmel和Samuel Buss; Hecke代数和 《广义布劳尔代数》，汉斯·温茨尔指导。

This is a grant under the Scientific Computing Research Equipment for the Mathematical Sciences program of the Division of Mathematical Sciences of the National Science Foundation. This program supports the purchase of special purpose computing equipment dedicated to the conduct of research in the mathematical sciences. This equipment is required for several research projects and would be difficult to justify for one project alone. Support from the National Science Foundation is coupled with discounts and contributions from manufacturers and with substantial cost-sharing from the institutions submitting the proposal. This program is an example of academic, corporate, and government cooperation in the support of basic research in the mathematical sciences. This equipment will be used to support three research projects in the Department of Mathematics at the University of California, San Diego: Computer Explorations in Algebraic Combinatorics, directed by Adriano Garsia and Jeffrey Remmel; Feasible Logics for Programming and Proof Systems, directed by Jeffrey Remmel and Samuel Buss; and Hecke Algebras and Generalized Brauer Algebras, directed by Hans Wenzl.