课题基金 / 基金详情

Lemma Generation and Failure Heuristics for an Induction Theorem Prover (RRL)

Lemma Generation and Failure Heuristics for an Induction Theorem Prover (RRL)
归纳定理证明器 (RRL) 的引理生成和失败启发法
批准号：
9996150
负责人：
Deepak Kapur
金额：
$22.1万
依托单位：
University of New Mexico
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1999
资助国家：
美国
项目状态：
已结题
起止时间：
1999-01-15 至 2001-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9996150&HistoricalAwards=false
关键词：
LemmaGenerationFailureHeuristicsInduction

项目摘要

项目成果

Deepak Kapur的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Comprehensive Groebner, Parametric GCD Computations and Real Geometric Reasoning
  • 批准号：
    1908804
  • 项目类别：
    Standard Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2019
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
Generating Octagonal Invariants using Quantifier Elimination Heuristics
  • 批准号：
    1248069
  • 项目类别：
    Standard Grant
  • 资助金额：
    $8.32万
  • 财政年份：
    2012
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
  • 批准号：
    1217054
  • 项目类别：
    Standard Grant
  • 资助金额：
    $29.95万
  • 财政年份：
    2012
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
  • 批准号：
    0905222
  • 项目类别：
    Standard Grant
  • 资助金额：
    $24.0万
  • 财政年份：
    2009
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
国内基金
海外基金
Next Generation Majorana Nanowire Hybrids