编辑配置文件（在新选项卡中打开） 多米尼克·迪特里希 合著者距离 作者ID： 迪特里希·多米尼克 发布日期： 多米尼克·迪特里希 已编制索引的文档： 10出版物自2006年起 合著者： 12位合著者具有10联合出版物 307联合作者 全部的 前5名合著者 0 单作者的 6 谢尔盖·奥特西尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 埃瓦里斯特·舒尔茨 2 瓦格纳，马克·奥利弗 1 大卫·阿斯皮纳尔 1 迈克尔·布鲁 1 加泰林·大卫 1 迈克尔·科尔哈斯 1 安德烈亚斯·梅耶 1 伊恩·怀特塞德 1 克劳斯·皮特·沃思 1 维亚切斯拉夫·兹霍卢德夫 系列 1 自动推理杂志 1 偏微分方程的数值方法 1 计算机科学中的数学 1 计算机代数中的ACM通信 领域 9 计算机科学（68至XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用17中的次13文件 引用人▼ 年份▼ 一种通用的模块化数据结构，用于在思想和粒度上交替进行验证。 Zbl 1151.68628号 谢尔盖·奥特西尔；克里斯托夫·本兹穆勒；多米尼克·迪特里希；安德烈亚斯·梅耶；克劳斯·皮特·沃思 5 2006 综合验证规划方法和（Omega）-蚂蚁来自数学知识的代理。 Zbl 1188.68277号 谢尔盖·奥特西尔；多米尼克·迪特里希 三 2006 通过交互式证明结构和文本编辑器中的验证来编写验证过的文档。 Zbl 1166.68342号 多米尼克·迪特里希；埃瓦里斯特·舒尔茨；马克·瓦格纳 2 2008 在（Omega）mega中组织、转换和传播数学知识。 Zbl 1176.68207号 谢尔盖·奥特西尔；克里斯托夫·本兹穆勒；多米尼克·迪特里希；马克·瓦格纳 2 2008 极地的：证明重构的框架。 Zbl 1407.68434号 多米尼克·迪特里希；伊恩·怀特塞德；大卫·阿斯皮纳尔 2 2013 双曲守恒律通量限制器方案的优化。 Zbl 1268.65110号 迈克尔·布鲁；多米尼克·迪特里希 2 2013 管理科学、技术、工程和数学变革的工作流。 Zbl 1278.68291号 谢尔盖·奥特西尔；加泰林·大卫；多米尼克·迪特里希；迈克尔·科尔哈斯；维亚切斯拉夫·兹霍卢德夫 1 2011 极地的：证明重构的框架。 Zbl 1407.68434号 多米尼克·迪特里希；伊恩·怀特塞德；大卫·阿斯皮纳尔 2 2013 双曲守恒律通量限制器方案的优化。 Zbl 1268.65110号 迈克尔·布鲁；多米尼克·迪特里希 2 2013 管理科学、技术、工程和数学变革的工作流。 Zbl 1278.68291号 谢尔盖·奥特西尔；加泰林·大卫；多米尼克·迪特里希；迈克尔·科尔哈斯；维亚切斯拉夫·兹霍卢德夫 1 2011 通过交互式证明结构和文本编辑器中的验证来编写验证过的文档。 Zbl 1166.68342号 多米尼克·迪特里希；埃沃里斯特·舒尔茨；马克·瓦格纳 2 2008 在（Omega）mega中组织、转换和传播数学知识。 Zbl 1176.68207号 谢尔盖·奥特西尔；克里斯托夫·本兹穆勒；多米尼克·迪特里希；马克·瓦格纳 2 2008 一种通用的模块化数据结构，用于在思想和粒度上交替进行验证尝试。 Zbl 1151.68628号 谢尔盖·奥特西尔；克里斯托夫·本兹穆勒；多米尼克·迪特里希；安德烈亚斯·梅耶；克劳斯·皮特·沃思 5 2006 综合验证规划方法和（Omega）-蚂蚁来自数学知识的代理。 Zbl 1188.68277号 谢尔盖·奥特西尔；多米尼克·迪特里希 三 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名18位作者引用 2 多米尼克·迪特里希 2 维维克·库马尔 2 鲁奇卡·洛哈布 2 埃瓦里斯特·舒尔茨 2 瓦格纳，马克·奥利弗 2 克劳斯·皮特·沃思 1 罗布·D·阿尔森。 1 谢尔盖·奥特西尔 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 克里斯蒂安·卡鲁德。 1 霍尔格·加斯特 1 Thibault Gauthier 1 简·赫尔曼·杰弗斯 1 古德蒙德·格罗夫 1 塞萨里·卡利西克 1 林玉辉 1 曼弗雷德·米米奈尔 1 克里斯汀·米勒 全部的 前5名6篇连载文章中引用 2 符号计算杂志 1 模拟中的数学和计算机 1 自动推理杂志 1 萨达纳 1 泛逻辑 1 形式化推理杂志 全部的 前5名在8个字段中引用 10 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 1 历史和传记（01-XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文