课题基金 / 基金详情

GIG: Multidisciplinary Research in Mathematics

GIG: Multidisciplinary Research in Mathematics
GIG:数学的多学科研究
批准号:
9510373
负责人:
Samuel Buss
金额:
$5.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-08-01 至 1996-07-31

项目摘要

项目成果

Samuel Buss的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
海外基金