Mathematical Sciences Research Equipment 1989

数学科学研究仪器1989

• 批准号: 8905623
• 负责人: Adriano Garsia
• 金额: $ 4万
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-07-01 至 1990-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8905623&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Research; Equipment; 1989

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.

本项目为美国国家科学基金会数学科学部数学科学项目的科学计算研究设备项目。该计划支持购买专用于数学科学研究的专用计算设备。这些设备是几个研究项目所需要的，很难证明单独用于一个项目是合理的。国家科学基金会的支持与制造商的折扣和捐款以及提交提案的机构的大量费用分摊相结合。这个项目是学术、企业和政府合作支持数学科学基础研究的一个例子。该设备将用于支持加州大学圣地亚哥分校数学系的三个研究项目：由Adriano Garsia和Jeffrey Remmel领导的代数组合学计算机探索；Jeffrey Remmel和Samuel Buss导演的《编程和证明系统的可行逻辑》；以及赫克代数和广义布劳尔代数，由汉斯·温泽尔指导。