Mathematical Sciences Research Equipment 1989

这是国家科学基金数学科学部数学科学计划科学计算研究设备项目的一项资助。该计划支持购买专门用于进行数学科学研究的专用计算设备。这种设备是几个研究项目所需要的，很难单独为一个项目辩护。国家科学基金会的支持伴随着制造商的折扣和贡献，以及提交提案的机构的大量费用分摊。该项目是学术、企业和政府合作支持数学科学基础研究的一个范例。这些设备将用于支持加州大学圣地亚哥分校数学系的三个研究项目：Adriano Garsia和Jeffrey Remmel指导的代数组合学中的计算机探索；Jeffrey Remmel和Samuel Buss指导的编程和证明系统的可行逻辑；以及Hans Wenzl指导的Hecke Algebras和广义Brauer Algebras。

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.