课题基金 / 基金详情

STR+VE Distribution Proposal

STR+VE Distribution Proposal
STR VE 分配方案
批准号：
9101980
负责人：
Woodrow Bledsoe
金额：
$2.91万
依托单位：
University of Texas at Austin
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1991
资助国家：
美国
项目状态：
已结题
起止时间：
1991-05-01 至 1992-04-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9101980&HistoricalAwards=false
关键词：
STR+VEDistributionProposal

项目摘要

项目成果

Woodrow Bledsoe的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The goal of this software capitalization project is the development and distribution of a "release" quality version of STR+VE, a theorem prover for the first-order predicate calculus with inequality. This prover employs the Shielding Term Removal and Variable Elimination strategy with its emphasis on "larger steps". It is a fully automatic prover which has proved several important results in analysis, for example, the theorem that the sum of continuous functions is continuous.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Research on Automated Theorem Proving
  • 批准号：
    9307731
  • 项目类别：
    Standard Grant
  • 资助金额：
    $11.84万
  • 财政年份：
    1994
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
Research on Automated Theorem Proving
  • 批准号：
    9106496
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $10.09万
  • 财政年份：
    1991
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
Research on Automated Theorem Proving
  • 批准号：
    8922555
  • 项目类别：
    Standard Grant
  • 资助金额：
    $8.4万
  • 财政年份：
    1990
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
Research on Automatic Theorem Proving and Applications
  • 批准号：
    8613706
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $41.47万
  • 财政年份：
    1987
  • 负责人：
    Woodrow Bledsoe
  • 依托单位：
    University of Texas at Austin
国内基金
海外基金
Shining light on the black hole mass distribution
  • 批准号：
    12073029
  • 项目类别：
    面上项目
  • 资助金额：
    61.0万元
  • 批准年份：
    2020
  • 负责人：
    Roberto Soria
  • 依托单位：
    中国科学院大学