×
作者ID: 菲德勒·阿明“Fiedler,Armin”最近发表的zbMATH文章
发布日期: 阿明·菲德勒;A.菲德勒。
已编制索引的文档: 12出版物自1996年起
合著者: 25位合著者具有10联合出版物
316名Co-Co作者

按年份列出的出版物

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 克劳斯·辛

按年份列出的引文