编辑配置文件（在新选项卡中打开） 安德烈亚斯·梅耶 合著者距离 作者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 罗伊·麦卡斯兰德。 3 托马斯·Wüst 2 阿伦斯，蒂洛 2 Lassaad Cheikhrouhou 2 弗洛里安·弗兰克 2 迈克尔·科尔哈斯 2 伊曼纽尔·诺曼 2 克劳斯·皮特·沃思 1 法鲁克·奥马尔·阿尔帕克 1 谢尔盖·奥特西尔 1 埃伯哈特·巴恩斯 1 博尔赫斯，罗伯托·伊夫利姆·佩尼亚 1 弗拉基米尔·勃列日涅夫 1 比特·布鲁德林 1 多米尼克·迪特里希 1 多里亚·内托，阿德里昂·杜阿尔特 1 Fehrer、Detlef 1 安德烈亚斯·弗兰克 1 斯蒂芬·加特纳 1 吉马雷斯·迪亚斯，马可·安东尼奥 1 赫尔穆特·霍拉切克 1 黄晓荣 1 米歇尔·约翰逊。 1 曼弗雷德·科伯 1 安德烈亚斯·基尔希 1 卡斯滕·康拉德 1 汉斯比特·洛克尔 1 马库斯·莫什内尔 1 雷，娜佳 1 沃尔夫·沙尔斯奇米特 1 Carsten A.乌尔里希。 1 尤根·齐默 全部的 前5名系列 2 自动推理杂志 1 人工智能 1 应用力学与工程中的计算机方法 1 应用科学中的数学方法 1 卡罗莱纳大学数学评论 1 模糊集与系统 1 符号计算杂志 1 积分方程与应用杂志 1 计算地球科学 1 信息-Fachberichte 1 文本zur Mathematischen Forschung und Lehre 全部的 前5名领域 42 计算机科学（68至XX） 3 偏微分方程（35-XX） 3 积分方程（45-XX） 3 数值分析（65-XX） 3 流体力学（76-XX） 3 光学、电磁理论（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 比较剩余类领域的探索方法。 兹伯利1038.68110 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 3 2002 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 3 2008 有限代数分类定理的自动生成。 Zbl 1126.68562号 西蒙·科尔顿;安德烈亚斯·梅耶;沃尔克·索尔格;罗伊·麦卡斯兰德 3 2004 探索剩余类的性质。 Zbl 0986.68132号 安德烈亚斯·梅耶;沃尔克·索尔格 2 2001 运用理论形成指导校样规划。 Zbl 1072.68582号 安德烈亚斯·梅耶;沃尔克·索尔格;西蒙·科尔顿 2 2002 系统描述：多。多策略证明规划师。 Zbl 1135.68557号 安德烈亚斯·梅耶;艾丽卡，梅利斯 2 2005 SAT求解在有限代数分类中的应用。 Zbl 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号 博尔赫斯，罗伯托·伊夫利姆·佩尼亚;吉马雷斯·迪亚斯，马可·安东尼奥;Dória Neto，阿德里昂·杜阿尔特;安德烈亚斯·梅耶 1 2018 同位素不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 1 2006 SAT求解器的一组新的代数基准问题。 Zbl 1128.68476号 安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒;安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 实物期权的模糊支付方法：重心法及其在油田废弃中的应用。 Zbl 1397.91590号 博尔赫斯，罗伯托·伊夫利姆·佩尼亚;吉马雷斯·迪亚斯，马可·安东尼奥;多里亚·内托，阿德里昂·杜阿尔特;安德烈亚斯·梅耶 1 2018 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 3 2008 用多种策略验证计划。 Zbl 1182.68259号 艾丽卡，梅利斯;安德烈亚斯·梅耶;约格·西克曼 2 2008 同位素不变量的自动构造和验证。 兹比尔1139.68050 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰;西蒙·科尔顿 2 2008 一种通用的模块化数据结构，用于在思想和粒度上交替进行验证。 Zbl 1151.68628号 谢尔盖·奥特西尔;克里斯托夫·本兹穆勒;多米尼克·迪特里希;安德烈亚斯·梅耶;克劳斯·皮特·沃思 5 2006 举证规划中的不切实际的推理。 Zbl 1151.68636号 安德烈亚斯·梅耶;艾丽卡，梅利斯 1 2006 同位素不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 1 2006 系统描述：多。一个经得起多种策略考验的规划师。 Zbl 1135.68557号 安德烈亚斯·梅耶;艾丽卡，梅利斯 2 2005 SAT求解在有限代数分类中的应用。 Zbl 1109.68103号 安德烈亚斯·梅耶;沃尔克·索尔格 2 2005 SAT求解器的一组新的代数基准问题。 Zbl 1128.68476号 安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒;安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 有限代数分类定理的自动生成。 Zbl 1126.68562号 西蒙·科尔顿;安德烈亚斯·梅耶;沃尔克·索尔格;罗伊·麦卡斯兰德 3 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号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 3 2002 运用理论形成指导校样规划。 兹比尔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号 克里斯托夫·本兹穆勒;拉沙德切赫鲁侯;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕康拉德;安德烈亚斯·梅耶;艾丽卡，梅利斯;沃尔夫·沙尔斯奇米特;约格·西克曼;沃尔克·索尔格 10 1997 所有引用出版物 前5名被引用出版物 全部的 前5名80位作者引用 5 沃尔克·索尔格 4 克里斯托夫·埃瓦尔德·本兹穆勒 4 贾斯敏·克里斯蒂安·布兰切特 4 塞萨里·卡利西克 4 安德烈亚斯·梅耶 4 劳伦斯·查尔斯·保尔森 3 Böhme，萨沙 3 艾丽卡，梅利斯 3 谢克曼，Jörg H。 3 约瑟夫·乌尔班 2 谢尔盖·奥特西尔 2 西蒙·科尔顿 2 马蒂亚斯·弗勒里 2 斯特凡·赫兹尔 2 迈克尔·科尔哈斯 2 亚历山大·莱奇 2 孟，贾 2 吉赛尔·赖斯 2 杰夫·萨特克利夫 2 瓦格纳，马克·奥利弗 2 丹尼尔·韦勒（Daniel S.Weller）。 2 克劳斯·皮特·沃思 1 哈桑·阿姆贾德 1 安德鲁斯，彼得·B·。 1 哈尼尔·巴博萨 1 达米安·巴索蒂 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 乍得·布朗·爱德华 1 克里斯蒂安·S·卡卢德。 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） 按年份列出的引文