编辑配置文件(在新选项卡中打开) 安德烈亚斯·梅耶 合著者距离 作者ID: 梅耶尔·安德里亚斯 发布方式: 安德烈亚斯·梅耶;梅耶,A。 外部链接: MGP公司 已编制索引的文档: 49出版物自1983年以来,包括17本书 合著者: 36位合著者具有31联合出版物 394位合作作者 全部的 前5名合著者 14 单作者的 14 沃尔克·索尔格 8 艾丽卡·梅利斯 7 克里斯托夫·埃瓦尔德·本兹穆勒 6 马丁·波莱特 5 西蒙·科尔顿 5 谢克曼,Jörg H。 4 Simon N.Chandler-Wilde。 4 阿明·菲德勒 4 罗伊·麦卡斯兰德。 三 托马斯·Wüst 2 阿伦斯,提洛 2 Lassaad Cheikhrouhou 2 弗洛里安·弗兰克 2 迈克尔·科尔哈斯 2 伊曼纽尔·诺曼 2 克劳斯·皮特·沃思 1 法鲁克·奥马尔·阿尔帕克 1 谢尔盖·奥特西尔 1 埃伯哈特·巴恩斯 1 博尔赫斯,罗伯托·伊夫利姆·佩尼亚 1 弗拉基米尔·勃列日涅夫 1 比特·布鲁德林 1 多米尼克·迪特里希 1 多里亚·内托,阿德里昂·杜阿尔特 1 Fehrer、Detlef 1 安德烈亚斯·弗兰克 1 Gärttner,斯蒂芬 1 吉马雷斯·迪亚斯,马可·安东尼奥 1 赫尔穆特·霍拉切克 1 黄晓荣 1 米歇尔·约翰逊。 1 曼弗雷德·科伯 1 安德烈亚斯·基尔希 1 卡斯滕·康拉德 1 汉斯比特·洛克尔 1 马库斯·莫什内尔 1 雷,娜佳 1 沃尔夫·沙尔斯奇米特 1 Carsten A.Ullrich。 1 尤根·齐默 全部的 前5名系列 2 自动推理杂志 1 人工智能 1 应用力学与工程中的计算机方法 1 应用科学中的数学方法 1 卡罗莱纳大学数学评论 1 模糊集与系统 1 符号计算杂志 1 积分方程与应用杂志 1 计算地球科学 1 Informatik Fachberichte公司 1 文本zur Mathematischen Forschung und Lehre 全部的 前5名领域 42 计算机科学(68至XX) 三 偏微分方程(35-XX) 三 积分方程(45-XX) 三 数值分析(65-XX) 三 流体力学(76-XX) 三 光学、电磁理论(78-XX) 2 一般性和全局性主题;集合(00-XX) 2 群论与推广(20-XX) 2 数学教育(97-XX) 1 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 1 势能理论(31-XX) 1 几何形状(51至XX) 1 凸和离散几何(52至XX) 1 微分几何(53至XX) 1 地球物理学(86-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用82中的次47文件 引用人▼ 年份▼ 实线上一类积分方程的Nyström方法及其在衍射光栅和粗糙表面散射中的应用。 Zbl 1170.78365号 梅耶,A。;T·阿伦斯。;Chandler-Wilde,S.N。;A.基尔希。 23 2000 系统描述:Tramp。将机器证明转换为断言级的自然演绎证明。 Zbl 0963.68537号 安德烈亚斯·梅耶 12 2000 \(\欧米茄\)百万:朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒;Lassaad Cheikhrouhou;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕·康拉德;安德烈亚斯·梅耶;艾丽卡·梅利斯;沃尔夫·沙尔斯奇米特;约格·西克曼;沃尔克·索尔格 10 1997 用多种策略验证计划。 Zbl 0983.68531号 艾丽卡·梅利斯;安德烈亚斯·梅耶 8 2000 粗糙面散射积分方程组有限截面法的稳定性和收敛性。 Zbl 0971.31001号 梅耶,A。;Chandler-Wilde,S.N。 8 2001 使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号 约格·西克曼;克里斯托夫·本穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;索尔奇,沃尔克;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 7 2002 用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号 约格·西克曼;克里斯托夫·本穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特 7 2003 用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号 J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。 6 2002 一种通用的模块化数据结构,用于在思想和粒度上交替进行验证。 Zbl 1151.68628号 谢尔盖·奥特西尔;克里斯托夫·本兹穆勒;多米尼克·迪特里希;安德烈亚斯·梅耶;克劳斯·皮特·沃思 5 2006 比较剩余类领域的探索方法。 Zbl 1038.68110号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 三 2002 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 三 2008 有限代数分类定理的自动生成。 Zbl 1126.68562号 西蒙·科尔顿;安德烈亚斯·梅耶;沃尔克·索尔格;罗伊·麦卡斯兰德 三 2004 探索剩余类的性质。 Zbl 0986.68132号 安德烈亚斯·梅耶;沃尔克·索尔格 2 2001 运用理论形成指导校样规划。 Zbl 1072.68582号 安德烈亚斯·梅耶;沃尔克·索尔格;西蒙·科尔顿 2 2002 系统描述:多。多策略证明规划师。 Zbl 1135.68557号 安德烈亚斯·梅耶;艾丽卡·梅利斯 2 2005 SAT求解在有限代数分类中的应用。 兹比尔1109.68103 安德烈亚斯·梅耶;沃尔克·索尔格 2 2005 用多种策略验证计划。 Zbl 1182.68259号 艾丽卡·梅利斯;安德烈亚斯·梅耶;约格·西克曼 2 2008 同构不变量的自动构造和验证。 Zbl 1139.68050号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 2 2008 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 1 2001 举证规划中的不切实际的推理。 Zbl 1151.68636号 安德烈亚斯·梅耶;艾丽卡·梅利斯 1 2006 实物期权的模糊支付方法:重心法及其在油田废弃中的应用。 Zbl 1397.91590号 博尔赫斯,罗伯托·伊夫利姆·佩尼亚;吉马雷斯·迪亚斯,马可·安东尼奥;多里亚·内托,阿德里昂·杜阿尔特;安德烈亚斯·梅耶 1 2018 同构不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 1 2006 SAT求解器的一组新的代数基准问题。 兹比尔1128.68476 安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒;安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 实物期权的模糊支付方法:重心法及其在油田废弃中的应用。 Zbl 1397.91590号 博尔赫斯,罗伯托·伊夫利姆·佩尼亚;吉马雷斯·迪亚斯,马可·安东尼奥;多里亚·内托,阿德里昂·杜阿尔特;安德烈亚斯·梅耶 1 2018 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 三 2008 用多种策略验证计划。 Zbl 1182.68259号 艾丽卡·梅利斯;安德烈亚斯·梅耶;约格·西克曼 2 2008 同构不变量的自动构造和验证。 Zbl 1139.68050号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 2 2008 一种通用的模块化数据结构,用于在思想和粒度上交替进行验证。 Zbl 1151.68628号 谢尔盖·奥特西尔;克里斯托夫·本穆勒;多米尼克·迪特里希;安德烈亚斯·梅耶;克劳斯·皮特·沃思 5 2006 举证计划中的僵局驱动推理。 兹比尔1151.68636 安德烈亚斯·梅耶;艾丽卡·梅利斯 1 2006 同构不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 1 2006 系统描述:多。多策略证明规划师。 Zbl 1135.68557号 安德烈亚斯·梅耶;艾丽卡·梅利斯 2 2005 SAT求解在有限代数分类中的应用。 兹比尔1109.68103 安德烈亚斯·梅耶;沃尔克·索尔格 2 2005 SAT求解器的一组新的代数基准问题。 兹比尔1128.68476 安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒;安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 有限代数分类定理的自动生成。 Zbl 1126.68562号 西蒙·科尔顿;安德烈亚斯·梅耶;沃尔克·索尔格;罗伊·麦卡斯兰德 三 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 1038.68110号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 三 2002 运用理论形成指导校样规划。 Zbl 1072.68582号 安德烈亚斯·梅耶;沃尔克·索尔格;西蒙·科尔顿 2 2002 粗糙面散射积分方程组有限截面法的稳定性和收敛性。 Zbl 0971.31001号 梅耶,A。;Chandler-Wilde,S.N。 8 2001 探索剩余类的性质。 Zbl 0986.68132号 安德烈亚斯·梅耶;沃尔克·索尔格 2 2001 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 1 2001 实线上一类积分方程的Nyström方法及其在衍射光栅和粗糙表面散射中的应用。 Zbl 1170.78365号 梅耶,A。;T·阿伦斯。;Chandler-Wilde,S.N。;A.基尔希。 23 2000 系统描述:Tramp。将机器证明转换为断言级的自然演绎证明。 Zbl 0963.68537号 安德烈亚斯·梅耶 12 2000 用多种策略验证计划。 Zbl 0983.68531号 艾丽卡·梅利斯;安德烈亚斯·梅耶 8 2000 \(\欧米茄\)百万:朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒;Lassaad Cheikhrouhou;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕·康拉德;安德烈亚斯·梅耶;艾丽卡·梅利斯;沃尔夫·沙尔斯奇米特;约格·西克曼;沃尔克·索尔格 10 1997 所有引用出版物 前5名被引用出版物 全部的 前5名80位作者引用 5 沃尔克·索尔格 4 克里斯托夫·埃瓦尔德·本兹穆勒 4 贾斯敏·克里斯蒂安·布兰切特 4 塞萨里·卡利西克 4 安德烈亚斯·梅耶 4 劳伦斯·查尔斯·保尔森 三 Böhme,萨沙 三 艾丽卡·梅利斯 三 谢克曼,Jörg H。 三 约瑟夫·乌尔班 2 谢尔盖·奥特西尔 2 西蒙·科尔顿 2 弗勒里,马蒂亚斯 2 斯特凡·赫兹尔 2 迈克尔·科尔哈斯 2 亚历山大·莱奇 2 孟,贾 2 吉赛尔·赖斯 2 萨特克利夫,杰夫 2 马克·奥利弗·瓦格纳 2 丹尼尔·韦勒(Daniel S.Weller)。 2 克劳斯·皮特·沃思 1 哈桑·阿姆贾德 1 安德鲁斯,彼得·B·。 1 哈尼尔·巴博萨 1 达米安·巴索蒂 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 乍得·布朗·爱德华 1 克里斯蒂安·卡鲁德。 1 米凯尔·科兰 1 汉斯·德·尼维尔 1 大卫·德拉海耶 1 多米尼克·迪特里希 1 安德烈亚斯·迪斯特勒 1 卢卡斯·狄克逊 1 加布里埃尔·埃布纳 1 Fehrer、Detlef 1 雅克·弗莱里奥特。 1 帕斯卡·方丹 1 安德烈亚斯·弗兰克 1 霍尔格·加斯特 1 Thibault Gauthier 1 阿波罗·霍根 1 赫尔穆特·霍拉切克 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 马蒂亚·贾姆尼克 1 曼弗雷德·科伯 1 阿萨夫·科福里。 1 托马斯·科尔贝。 1 拉马纳·库马尔 1 笔记本电脑,安德烈 1 巴西州卢卡 1 亚历山大·利亚列茨基。 1 Joáo P.塞尔瓦侯爵。 1 米凯拉·梅耶罗 1 罗伊·麦卡斯兰德。 1 史蒂芬·H·马格尔顿。 1 克里斯汀·米勒 1 利昂诺·普伦萨·尼托 1 迈克尔·诺里什 1 安德烈·帕斯科维奇 1 马丁·波莱特 1 亚历山德罗·普雷维蒂 1 尤里·普齐斯 1 克莱尔·奎格利 1 弗洛里安·拉贝 1 克劳迪奥·萨塞尔多蒂·科恩 1 埃瓦里斯特·舒尔茨 1 斯莫尔卡、斯蒂芬·朱尔夫 1 艾伯特·斯特克迈尔 1 斯托克拉萨,一月 1 莱因哈德·斯托勒 1 阿文·费南托(Alwen Fernanto Tiu) 1 史蒂文·特拉克 1 康斯坦丁·沃奇宁 1 维斯科基尔 1 Tjark韦伯 1 尤根·齐默 1 克劳斯·辛 全部的 前5名12篇连载文章中引用 10 自动推理杂志 8 应用逻辑杂志 4 符号计算杂志 2 人工智能 2 信息与计算 1 模糊集与系统 1 信息科学 1 理论计算机科学 1 计算的形式方面 1 机器学习 1 逻辑与代数程序设计杂志 1 泛逻辑 全部的 前5名在6个字段中引用 43 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 1 历史与传记(01-XX) 1 组合数学(05-XX) 1 群论与推广(20-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文