刷新
{{item.name}}会员
Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
实数的精确算术作为开普勒猜想的机械证明的基础
基本信息
- 批准号：5443476
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2005
- 资助国家：德国
- 起止时间：2004-12-31 至 2007-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. Helmut Schwichtenberg其他文献
Professor Dr. Helmut Schwichtenberg的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Helmut Schwichtenberg', 18)}}的其他基金
Extraktion von Programmen aus klassischen Beweisen -Extraction of programs from classical proofs
从经典证明中提取程序
- 批准号：
108789012 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Theorie und Praxis der Extraktion von Programmen aus formalen Beweisen
从形式证明中提取程序的理论与实践
- 批准号：
19227859 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Extraktion effizienter Programme aus formalen Beweisen
从形式证明中提取有效的程序
- 批准号：
5274986 - 财政年份：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