刷新
{{item.name}}会员
Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
实数的精确算术作为开普勒猜想的机械证明的基础
基本信息
- 批准号：5443474
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2005
- 资助国家：德国
- 起止时间：2004-12-31 至 2008-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Professor Dr. Tobias Nipkow, Ph.D.其他文献
Professor Dr. Tobias Nipkow, Ph.D.的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Tobias Nipkow, Ph.D.', 18)}}的其他基金
Verifizierte Algorithmenanalyse
验证算法分析
- 批准号：
273004067 - 财政年份：2015
- 资助金额：
-- - 项目类别：
Reinhart Koselleck Projects
Verification of Probabilistic Models in Interactive Theorem Provers
交互式定理证明器中概率模型的验证
- 批准号：
226793109 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Research Grants
Hardening the Hammer: More Integration of Automatic and Interactive Theorem Provers
强化锤子：自动和交互式定理证明器的更多集成
- 批准号：
226154341 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants
Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
基于语言的软件安全语义建模、分析与验证
- 批准号：
47694595 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Integration der Logik HOL mit den Programmiersprachen ML und Haskell
HOL 逻辑与 ML 和 Haskell 编程语言的集成
- 批准号：
14516968 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache
理想化的面向对象编程语言的形式化定义和分析
- 批准号：
5406711 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Research Grants
Tutorium zum interaktiven Beweisen in Isabelle/HOL
Isabelle/HOL 中的交互式证明教程
- 批准号：
5273368 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
Zentralprojekt: Symmetrie, Geometrie und Arithmetik
中心项目：对称、几何和算术
- 批准号：
236747933 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Research Units
Arithmetik über endlich erzeugten Körpern
有限生成域上的算术
- 批准号：
155362679 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Independent Junior Research Groups
Symmetrie und Arithmetik komplexer algebraischer Varietäten kleiner Dimension
小维复代数簇的对称性与算术
- 批准号：
65635374 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
(I) Arithmetik Dwork'scher unit-root L-Funktionen; p-adische Modulformen (II) p-adische Kohomologie p-adischer Periodenbereiche (III) Koeffizientensysteme auf Gebäuden algebraischer Gruppen über lokalen Körpern (IV) p-adische Charaktergraben
(I) Dwork 单位根 L 函数的算术；
- 批准号：
33054262 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Heisenberg Professorships
Beweiskomplexität im Kontext beschränkter Arithmetik
有界算术背景下证明复杂性
- 批准号：
29735564 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Fellowships
Arithmetik und Geometrie algebraischer Zykel
代数圈的算术和几何
- 批准号：
28197835 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
(I) Arithmetik Dwork'scher unit-root L-Funktionen; p-adische Modulformen (II) p-adische Kohomologie p-adischer Periodenbereiche (III) Koeffizientensysteme auf Gebäuden algebraischer Gruppen über lokalen Körpern (IV) p-adische Charaktergraben
(I) Dwork 单位根 L 函数的算术；
- 批准号：
20332567 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Heisenberg Fellowships
Analogie p-divisibler Gruppen in der Arithmetik von Funktionenkörpern und deren Anwendungen
函数域算术中p可整群的类比及其应用
- 批准号：
17239278 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants