GIG: Multidisciplinary Research in Mathematics
GIG: Multidisciplinary Research in Mathematics
批准号:
9510373
负责人:
Samuel Buss
金额:
$5.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-08-01 至 1996-07-31
中文摘要
9510373 BSS这笔赠款将使加州大学圣地亚哥分校的一群研究人员和学生能够购买计算机设备并加强数学研究的基础设施,以支持研究和与研究有关的教学活动。这些多学科项目包括组合学和组合代数、计算机代数、计算机代数中的并行算法、调和分析和图论、控制理论、自动定理证明以及其他数学领域的研究。这笔拨款将用于资助计算机实验室和计算机设备,供教师普遍使用。加州大学数学系的学生和客座研究人员。圣地亚哥。该实验室的主要目的将是研究和研究生培训。这笔赠款将包含购买和安装计算机设备的资金。它没有为调查人员或工作人员提供工资资金。它包括加州大学圣地亚哥分校提供的50,000美元的直接配套资金,以及加州大学圣地亚哥分校以网络和布线形式提供的额外大量支持。此外,加州大学圣地亚哥分校刚刚承诺每年为数学系预算增加3.1万美元的永久资金,用于雇用计算机支持人员(这取决于即将到来的加利福尼亚州预算的细节)。~f
英文摘要
9510373 Buss This grant will enable the acquisition of computer equipment and enhancement of infrastructure for mathematics research by a group of researchers and students at the University of California, San Diego to support research and research-related instructiolal activities. The multidisciplinary projects include research in combinatorics and combinatorical algebra, computer algebra, parallel algorithms in computer algebra, harmonic analysis and graph theory, control theory, automated theorem proving, and other areas of mathematics. The grant will fund computer laboratory and computer equipment for general use by faculty. students and visiting researchers at the mathematics department at the University of California. San Diego. The primary purposes of the laboratory will be for research and for graduate student training. The grant will contain funds for the acquisition and installation of computer equipment. It contains no salary funding for investigators or staff. It includes directly matching funds of $50,000 from the University of California, San Diego and additional substantial support from UCSD in the form of networking and cabling. In addition, the University of California, San Diego has just committed an additional $31,000 per year in permanent funds to the mathematics department budget to be used for hiring computer support personnel (this is contingent on the details of the forthcoming California state budget). ~ f
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
St. Petersburg Special Complexity Semester and Workshops
-
批准号:1565931
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2016
-
负责人:Samuel Buss
-
依托单位:
Complexity of proofs, proof search, and algorithmic complexity
-
批准号:1101228
-
项目类别:Standard Grant
-
资助金额:$21.0万
-
财政年份:2011
-
负责人:Samuel Buss
-
依托单位:
Proof complexity, computation, and algorithms
-
批准号:0700533
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2007
-
负责人:Samuel Buss
-
依托单位:
Proof Complexity and Computation
-
批准号:0400848
-
项目类别:Continuing Grant
-
资助金额:$20.7万
-
财政年份:2004
-
负责人:Samuel Buss
-
依托单位:
Proof Theory and Computational Complexity
-
批准号:0100589
-
项目类别:Standard Grant
-
资助金额:$23.85万
-
财政年份:2001
-
负责人:Samuel Buss
-
依托单位:
Proof Theory and Computational Complexity
-
批准号:9803515
-
项目类别:Standard Grant
-
资助金额:$18.96万
-
财政年份:1998
-
负责人:Samuel Buss
-
依托单位:
U.S.-Czech Research on Mathematical Logic, Complexity Theory, and Connections
-
批准号:9600919
-
项目类别:Standard Grant
-
资助金额:$5.01万
-
财政年份:1996
-
负责人:Samuel Buss
-
依托单位:
Mathematical Sciences: Proof Theory and Computational Complexity
-
批准号:9503247
-
项目类别:Continuing Grant
-
资助金额:$8.8万
-
财政年份:1995
-
负责人:Samuel Buss
-
依托单位:
Mathematical Sciences: Proof Theory and Computational Complexity
-
批准号:9205181
-
项目类别:Standard Grant
-
资助金额:$7.38万
-
财政年份:1992
-
负责人:Samuel Buss
-
依托单位:
U.S.-Czechoslovak Research on Proof Theory and Fragments of Arithmetic
-
批准号:8914569
-
项目类别:Standard Grant
-
资助金额:$2.65万
-
财政年份:1989
-
负责人:Samuel Buss
-
依托单位:
Mathematical Sciences: Proof Theory and Computational Complexity
-
批准号:8902480
-
项目类别:Continuing Grant
-
资助金额:$7.9万
-
财政年份:1989
-
负责人:Samuel Buss
-
依托单位:
Mathematical Sciences Postdoctoral Research Fellowship
-
批准号:8511465
-
项目类别:Fellowship Award
-
资助金额:$6.44万
-
财政年份:1985
-
负责人:Samuel Buss
-
依托单位:
海外基金