课题基金 / 基金详情

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
实数的精确算术作为开普勒猜想的机械证明的基础
批准号：
5443474
负责人：
Professor Dr. Tobias Nipkow, Ph.D.
金额：
$0.0万
依托单位：
Lehrstuhl für Informatik XXI: Logik und Verifikation
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2005
资助国家：
德国
项目状态：
已结题
起止时间：
2004-12-31 至 2008-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5443474?language=en
关键词：
ExakteArithmetikreelleZahlenals

项目摘要

项目成果

Professor Dr. Tobias Nipkow, Ph.D.的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Verifizierte Algorithmenanalyse
Verification of Probabilistic Models in Interactive Theorem Provers
Hardening the Hammer: More Integration of Automatic and Interactive Theorem Provers
Security Type Systems and Deduction
海外基金