课题基金 / 基金详情

2001 Dagstuhl Seminar on Deduction to be held March 4-9, 2001 at the Dagstuhl Seminar Center in Wadern, Germany

2001 Dagstuhl Seminar on Deduction to be held March 4-9, 2001 at the Dagstuhl Seminar Center in Wadern, Germany
2001 Dagstuhl 演绎研讨会将于 2001 年 3 月 4 日至 9 日在德国瓦登的 Dagstuhl 研讨会中心举行
批准号：
0100448
负责人：
Deepak Kapur
金额：
$1.5万
依托单位：
University of New Mexico
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2001
资助国家：
美国
项目状态：
已结题
起止时间：
2001-02-15 至 2003-01-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0100448&HistoricalAwards=false
关键词：
2001DagstuhlSeminarDeductionheld

项目摘要

项目成果

Deepak Kapur的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
An international seminar on deduction - organized by Prof.Ulrich Furbach (University of Koblenz, Germany), Prof.Harald Ganzinger (MPI Saarbrucken, Germany), Prof. RyuzoHasegawa (Kyushu University, Japan), and Prof. Deepak Kapur(University of New Mexico, Albuquerque, NM, USA)- will beheld March 4-9, 2001 at the Dagstuhl Seminar Center inWadern, Germany. About 75 automated deduction researchersfrom around the world have been invited to participate. Thisaward pays for travel funds for American invitees to attendthe seminar.
期刊论文(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
海外基金