课题基金 / 基金详情

Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung

Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
实数的精确算术作为开普勒猜想的机械证明的基础
批准号：
5443476
负责人：
Professor Dr. Helmut Schwichtenberg
金额：
$0.0万
依托单位：
Mathematisches Institut
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2005
资助国家：
德国
项目状态：
已结题
起止时间：
2004-12-31 至 2007-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5443476?language=en
关键词：
ExakteArithmetikreelleZahlenals

项目摘要

项目成果

Professor Dr. Helmut Schwichtenberg的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Extraktion von Programmen aus klassischen Beweisen -Extraction of programs from classical proofs
  • 批准号：
    108789012
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2009
  • 负责人：
    Professor Dr. Helmut Schwichtenberg
  • 依托单位：
    Mathematisches Institut
Theorie und Praxis der Extraktion von Programmen aus formalen Beweisen
  • 批准号：
    19227859
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2005
  • 负责人：
    Professor Dr. Helmut Schwichtenberg
  • 依托单位：
    Mathematisches Institut
Extraktion effizienter Programme aus formalen Beweisen
  • 批准号：
    5274986
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2000
  • 负责人：
    Professor Dr. Helmut Schwichtenberg
  • 依托单位：
    Mathematisches Institut
海外基金