编辑配置文件(在新选项卡中打开) 阿明·菲德勒 合著者距离 作者ID: 菲德勒·阿明 发布日期: 阿明·菲德勒;A.菲德勒。 已编制索引的文档: 12出版物自1996年起 合著者: 25位合著者具有10联合出版物 316名Co-Co作者 全部的 前5名合著者 2 单作者的 5 克里斯托夫·埃瓦尔德·本兹穆勒 4 赫尔穆特·霍拉切克 4 安德烈亚斯·梅耶 4 谢克曼,Jörg H。 三 谢尔盖·奥特西尔 三 波莱特,马丁 2 Lassaad Cheikhrouhou 2 黄晓荣 2 迈克尔·科尔哈斯 2 艾丽卡·梅利斯 2 伊曼纽尔·诺曼 2 沃尔克·索尔格 1 弗拉基米尔·勃列日涅夫 1 Fehrer、Detlef 1 安德烈亚斯·弗兰克 1 曼弗雷德·科伯 1 卡斯滕·康拉德 1 马库斯·莫什内尔 1 托马斯·诺伊曼 1 沃尔夫·沙尔斯奇米特 1 Carsten A.Ullrich。 1 Vo、Bao Quoc 1 马克·奥利弗·瓦格纳 1 克劳斯·皮特·沃思 1 于尔根·齐默 系列 1 国际智能系统杂志 字段 12 计算机科学(68-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 10出版物有被引用48中的次36文件 引用人▼ 年份▼ \(\欧米茄\)百万:朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒;Lassaad Cheikhrouhou;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕·康拉德;安德烈亚斯·梅耶;艾丽卡·梅利斯;沃尔夫·沙尔斯奇米特;约格·西克曼;沃尔克·索尔格 10 1997 用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号 约格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特 7 2003 使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号 约格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 7 2002 用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号 J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。 6 2002 雷克斯:一个交互式的证明解释者。 Zbl 0988.68596号 阿明·菲德勒 4 2001 自然语言证明解释。 Zbl 1098.68697号 阿明·菲德勒 4 2005 具有欠特定性的断言级证明表示。 Zbl 1271.68207号 谢尔盖·奥特西尔;克里斯托夫·本兹穆勒;阿明·菲德勒;赫尔穆特·霍拉切克;Vo、Bao Quoc 4 2004 提供机器校样。 Zbl 1412.68235号 黄晓荣;阿明·菲德勒 三 1996 在将科学文本编辑器与证明辅助系统集成时,支持用户定义的注释。 Zbl 1202.68372号 谢尔盖·奥特西尔;阿明·菲德勒;托马斯·诺伊曼;马克·瓦格纳 2 2007 教科书校样符合形式逻辑,即欠规范和粒度问题。 Zbl 1151.68659号 谢尔盖·奥特西尔;阿明·菲德勒 1 2006 在将科学文本编辑器与证据辅助系统集成时,支持用户定义的符号。 兹比尔1202.68372 谢尔盖·奥特西尔;阿明·菲德勒;托马斯·诺伊曼;马克·瓦格纳 2 2007 教科书校样符合形式逻辑,即欠规范和粒度问题。 Zbl 1151.68659号 谢尔盖·奥特西尔;阿明·菲德勒 1 2006 自然语言证明解释。 Zbl 1098.68697号 阿明·菲德勒 4 2005 规范不足的断言级证明表示。 Zbl 1271.68207号 谢尔盖·奥特西尔;克里斯托夫·本兹穆勒;阿明·菲德勒;赫尔穆特·霍拉切克;Vo、Bao Quoc 4 2004 用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号 约格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特 7 2003 使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号 约格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 7 2002 用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号 J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。 6 2002 雷克斯:一个交互式的证明解释者。 Zbl 0988.68596号 阿明·菲德勒 4 2001 \(\欧米茄\)百万:朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒;Lassaad Cheikhrouhou;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕·康拉德;安德烈亚斯·梅耶;艾丽卡·梅利斯;沃尔夫·沙尔斯奇米特;约格·西克曼;沃尔克·索尔格 10 1997 提供机器校样。 Zbl 1412.68235号 黄晓荣;阿明·菲德勒 三 1996 所有引用出版物 排名前五的出版物 全部的 前5名被75位作者引用 4 艾丽卡·梅利斯 4 劳伦斯·查尔斯·保尔森 4 谢克曼,Jörg H。 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 贾斯敏·克里斯蒂安·布兰切特 三 Böhme,萨沙 三 塞萨里·卡利西克 2 克里斯蒂安·阿拉巴阿 2 谢尔盖·奥特西尔 2 弗兰兹·巴德 2 斯特凡·博格沃德 2 Fehrer、Detlef 2 迈克尔·科尔哈斯 2 帕特里克·科普曼 2 安德烈亚斯·梅耶 2 孟,贾 2 杰夫·萨特克利夫 2 约瑟夫·乌尔班 2 马克·奥利弗·瓦格纳 1 安德鲁斯,彼得·B·。 1 达米安·巴索蒂 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 乍得·布朗·爱德华 1 卡塔兹纳,巴兹涅斯卡 1 克里斯蒂安·S·卡卢德。 1 Lassaad Cheikhrouhou 1 约瑟夫·科内利 1 雷蒙·达赫塞特 1 汉斯·德·尼维尔 1 大卫·德拉哈耶 1 丹尼·埃文 1 多米尼克·迪特里希 1 卢卡斯·狄克逊 1 阿明·菲德勒 1 伯恩德·菲舍尔 1 雅克·弗莱里奥特。 1 马蒂亚斯·弗勒里 1 安德烈亚斯·弗兰克 1 霍尔格·加斯特 1 Thibault Gauthier 1 阿波罗·霍根 1 赫尔穆特·霍拉切克 1 黄晓荣 1 曼弗雷德·科伯 1 阿萨夫·科福里。 1 托马斯·科尔贝。 1 卡斯滕·康拉德 1 科夫图诺娃,Alisa 1 拉马纳·库马尔 1 笔记本电脑,安德烈 1 亚历山大·莱莱茨基。 1 米凯拉·梅耶罗 1 朱利安·门德斯 1 克里斯汀·米勒 1 利昂诺·普伦萨·尼托 1 诺里斯,迈克尔 1 安德烈·帕斯科维奇 1 艾莉森·皮斯 1 尤里·普齐斯 1 克莱尔·奎格利 1 克里斯·里德 1 沃尔夫·沙尔斯奇米特 1 埃瓦里斯特·舒尔茨 1 斯莫尔卡,斯特芬·尤尔夫 1 沃尔克·索尔格 1 阿尔伯特·斯特克迈尔 1 莱因哈德·斯托勒 1 阿文·费南托(Alwen Fernanto Tiu) 1 史蒂文·特拉克 1 康斯坦丁·沃奇宁 1 维斯科基尔 1 克劳斯·皮特·沃思 1 尤根·齐默 1 克劳斯·辛 全部的 前5名8篇连载文章中引用 6 应用逻辑杂志 5 自动推理杂志 三 人工智能 三 符号计算杂志 2 信息与计算 1 信息科学 1 计算的形式方面 1 逻辑与代数程序设计杂志 在3个字段中引用 35 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的引文