编辑配置文件(在新选项卡中打开) 马丁·波莱特 合著者距离 作者ID: pollet.martin公司 发布日期: 马丁·波莱特;Pollet,M。 已编制索引的文档: 14出版物自2001年起 合著者: 21位合著者具有14份联合出版物 401合著作者 全部的 前5名合著者 0 单作者的 6 安德烈亚斯·梅耶 6 沃尔克·索尔格 5 曼弗雷德·科伯 4 克里斯托夫·埃瓦尔德·本兹穆勒 三 阿明·菲德勒 三 马蒂亚·贾姆尼克 三 谢克曼,Jörg H。 2 艾丽卡·梅利斯 2 伊曼纽尔·诺曼 1 弗拉基米尔·勃列日涅夫 1 Lassaad Cheikhrouhou 1 科恩,阿尔杰·马塞尔 1 Louise Abigail丹尼斯 1 安德烈亚斯·弗兰克 1 赫尔穆特·霍拉切克 1 迈克尔·科尔哈斯 1 马库斯·莫什内尔 1 斯科特·默里。 1 Carsten A.Ullrich。 1 克劳斯·皮特·沃思 1 尤根·齐默 系列 1 符号计算杂志 1 IGPL逻辑杂志 字段 14 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用35中的次28文件 引用人▼ 年份▼ 用\(\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 1038.68110号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 三 2002 证明规划中证明方法的自动学习。 Zbl 1042.03012号 马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特;克里斯托夫·本兹穆勒 三 2003 数学知识管理的难题。 Zbl 1151.68665号 曼弗雷德·科伯;马丁·波莱特 2 2006 直观和形式表示:矩阵的情况。 Zbl 1108.68600号 马丁·波莱特;沃尔克·索尔格;曼弗雷德·科伯 2 2004 验证置换群问题的解决方案。 Zbl 1278.68254号 阿杰·科恩;斯科特·默里。;马丁·波莱特;沃尔克·索尔格 2 2003 关于数学概念的设计。 Zbl 1032.68743号 曼弗雷德·科伯;马丁·波莱特 1 2002 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 1 2001 学习\(\Omega\)matic:系统描述。 兹比尔1072.68579 马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特 1 2002 数学知识管理的难题。 Zbl 1151.68665号 曼弗雷德·科伯;马丁·波莱特 2 2006 直观和形式表示:矩阵的情况。 Zbl 1108.68600号 马丁·波莱特;沃尔克·索尔格;曼弗雷德·科伯 2 2004 用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号 约格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特 7 2003 证明规划中证明方法的自动学习。 Zbl 1042.03012号 马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特;克里斯托夫·本兹穆勒 三 2003 验证置换群问题的解决方案。 Zbl 1278.68254号 阿杰·科恩;斯科特·默里。;马丁·波莱特;沃尔克·索尔格 2 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 1038.68110号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 三 2002 关于数学概念的设计。 Zbl 1032.68743号 曼弗雷德·科伯;马丁·波莱特 1 2002 学习\(\Omega\)matic:系统描述。 Zbl 1072.68579号 马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特 1 2002 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名54位作者引用 4 劳伦斯·查尔斯·保尔森 2 谢尔盖·奥特西尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 贾斯敏·克里斯蒂安·布兰切特 2 Böhme,萨沙 2 卢卡斯·狄克逊 2 托马斯·格兰斯登 2 安德烈亚斯·梅耶 2 艾丽卡·梅利斯 2 孟,贾 2 拉杰夫·拉曼 2 谢克曼,Jörg H。 2 马克·奥利弗·瓦格纳 2 尼尔·沃尔金肖 1 阿奈、平子 1 安德鲁斯,彼得·B·。 1 Noriko H.Arai。 1 达米安·巴索蒂 1 乍得·布朗·爱德华 1 克里斯蒂安·S·卡卢德。 1 陈晓宇 1 汉斯·德·尼维尔 1 多米尼克·迪特里希 1 罗斯·邓肯 1 雅克·弗莱里奥特。 1 藤崎隆彦 1 霍尔格·加斯特 1 伊瓦内、希德诺 1 马蒂亚·贾姆尼克 1 贾尼契奇,普雷德拉格 1 阿萨夫·科福里。 1 Munehiro小林 1 安德里亚·科尔哈塞 1 迈克尔·科尔哈斯 1 朱玛·库多 1 泽农库尔帕 1 笔记本电脑,安德烈 1 松崎隆彦 1 罗斯·M·麦康奈尔。 1 库尔特·梅尔霍恩 1 克里斯汀·米勒 1 纳什,斯特凡 1 利昂诺·普伦萨·尼托 1 马丁·波莱特 1 克莱尔·奎格利 1 埃瓦里斯特·舒尔茨 1 帕斯卡·施韦策 1 沃尔克·索尔格 1 杰夫·萨特克利夫 1 阿文·费南托(Alwen Fernanto Tiu) 1 王东明 1 克劳斯·皮特·沃思 1 詹益阳 1 尤根·齐默 全部的 前5名11篇连载文章中引用 4 应用逻辑杂志 三 自动推理杂志 2 符号计算杂志 2 信息与计算 1 人工智能 1 计算的形式方面 1 AI通信 1 数学与人工智能年鉴 1 科学基础 1 计算机科学中的数学 1 计算机科学评论 全部的 前5名在6个字段中引用 26 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 按年份列出的引文