编辑配置文件（在新选项卡中打开） 沃尔克·索尔格 合著者距离 作者ID： 索尔赫·沃尔克 发布日期： 沃尔克·索尔格；索尔格，V。 已编制索引的文档： 47出版物自1997年起 6作为编辑的贡献 合著者： 63位合著者具有52联合出版物 991合著作者 全部的 前5名合著者 1 单作者的 14 安德烈亚斯·梅耶 13 艾伦·塞克斯顿。 9 克里斯托夫·埃瓦尔德·本兹穆勒 8 曼弗雷德·科伯 6 西蒙·科尔顿 6 马丁·波莱特 4 约瑟夫·贝克（Josef B.Baker）。 4 雅克·卡雷特 4 马蒂亚·贾姆尼克 4 迈克尔·科尔哈斯 4 罗伊·麦卡斯兰德。 三 艾丽卡·梅利斯 三 斯蒂芬·迈克尔·瓦特 2 雅克·卡梅特 2 约翰·坎贝尔（John A.Campbell）。 2 Lassaad Cheikhrouhou 2 阿明·菲德勒 2 安德烈亚斯·弗兰克 2 谢克曼，Jörg H。 2 铃木、Masakazu 1 伊姆蒂亚斯·艾哈迈德 1 奥萨马·哈萨尼 1 亚西夫·伊克巴尔·阿里 1 兰达·阿门 1 谢尔盖·奥特西尔 1 贝莱德·本哈莫 1 弗拉基米尔·勃列日涅夫 1 保罗·凯恩斯 1 奥尔加·卡普洛蒂 1 戴维德·塞尔沃内（Davide P.Cervone）。 1 科恩，阿尔杰·马塞尔 1 安德烈亚斯·迪斯特勒 1 加布里埃尔·多斯·里斯 1 Farmer，William M。 1 Fehrer、Detlef 1 查尔斯·格雷顿 1 洛朗·海诺克 1 斯蒂芬·赫斯（Stephan M.Hess）。 1 赫尔穆特·霍拉切克 1 黄晓荣 1 约翰·杰林 1 克里斯托夫·荣格。 1 Cezary卡利西克 1 Toshihiro Kanahori 1 卡斯滕·康拉德 1 库拉图尔·阿因·马西萨尔 1 马库斯·莫什内尔 1 斯科特·默里。 1 伊曼纽尔·诺曼 1 弗洛里安·拉贝 1 阿马尔·拉贾 1 马修·雷纳 1 鲁比奥·加西亚、朱利奥·杰苏斯 1 克劳迪奥·萨塞尔多蒂·科恩 1 Wolf Schaarschmidt公司 1 彼得·索伊卡 1 佩德罗·何塞·托雷斯 1 Carsten A.Ullrich。 1 马卡里乌斯·温泽尔 1 弗里克·威迪杰克 1 克劳斯·皮特·沃思 1 张伟雄 1 于尔根·齐默 全部的 前5名系列 4 计算机科学课堂讲稿 三 自动推理杂志 2 数学与人工智能年鉴 1 卡罗莱纳大学数学评论 1 符号计算杂志 1 美国数学学会通告 1 拟群及相关系统 1 通用计算机科学杂志 1 应用逻辑杂志 1 数学基础研究杂志 1 人工智能和应用的前沿 1 国际数学论坛 全部的 前5名领域 51 计算机科学（68至XX） 7 群论与推广（20-XX） 6 总体主题；集合（00-XX） 2 组合数学（05-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 1 一般拓扑结构（54-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用129中的次91文件 引用人▼ 年份▼ 多智能体系统中的分布式约束问题求解与推理。 Zbl 1069.68098号 14 2004 \（\欧米茄\）百万：朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒；Lassaad Cheikhrouhou；Fehrer、Detlef；阿明·菲德勒；黄晓荣；曼弗雷德·科伯；迈克尔·科尔哈斯；卡斯滕·康拉德；安德烈亚斯·梅耶；艾丽卡·梅利斯；沃尔夫·沙尔斯奇米特；约格·西克曼；沃尔克·索尔格 10 1997 将计算机代数集成到证明规划中。 Zbl 0916.68144号 曼弗雷德·科伯；迈克尔·科尔哈斯；沃尔克·索尔格 9 1998 证明规划中的非平凡符号计算。 Zbl 0962.68152号 沃尔克·索尔格 7 2000 使用\（\Omega\）MEGA验证开发。 Zbl 1072.68591号 约格·西克曼；克里斯托夫·本兹穆勒；弗拉基米尔·勃列日涅夫；Lassaad Cheikhrouhou；阿明·菲德勒；安德烈亚斯·弗兰克；赫尔穆特·霍拉切克；迈克尔·科尔哈斯；安德烈亚斯·梅耶；艾丽卡·梅利斯；马库斯·莫什内尔；伊曼纽尔·诺曼；马丁·波莱特；沃尔克·索尔格；卡斯滕·乌尔里奇；克劳斯·皮特·沃思；尤根·齐默 7 2002 通过自动合作进行组合推理。 Zbl 1162.68646号 克里斯托夫·本兹穆勒；沃尔克·索尔格；马蒂亚·贾姆尼克；曼弗雷德·科伯 7 2008 高阶和一阶定理证明器能合作吗？ Zbl 1108.68570号 克里斯托夫·本兹穆勒；沃尔克·索尔格；马蒂亚·贾姆尼克；曼弗雷德·科伯 5 2005 使用抽象矩阵结构进行计算。 Zbl 1237.68261号 艾伦·塞克斯顿。；沃尔克·索尔格；斯蒂芬·瓦特（Stephen M.Watt）。 5 2009 面向代理的分布式数学服务集成。 Zbl 0961.68117号 安德烈亚斯·弗兰克；斯蒂芬·赫斯（Stephan M.Hess）。；克里斯托夫·荣格。；迈克尔·科尔哈斯；沃尔克·索尔格 4 1999 使用面向代理的推理系统进行实验。 Zbl 1007.68710号 克里斯托夫·本兹穆勒；马蒂亚·贾姆尼克；曼弗雷德·科伯；沃尔克·索尔格 4 2001 智能计算机数学。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号 三 2008 通过对Smaradache AG-groups的研究列举AG-group。 Zbl 1250.20058号 穆罕默德·沙阿；查尔斯·格雷顿；沃尔克·索尔格 三 2011 AG-群的枚举。 Zbl 1250.20055号 安德烈亚斯·迪斯特勒；穆罕默德·沙阿；沃尔克·索尔格 三 2011 比较剩余类领域的探索方法。 Zbl 1038.68110号 安德烈亚斯·梅耶；马丁·波莱特；沃尔克·索尔格 三 2002 符号计算中的抽象矩阵。 兹比尔1356.68294 艾伦·塞克斯顿；沃尔克·索尔格 三 2006 有限代数分类定理的自动生成。 兹比尔1126.68562 西蒙·科尔顿；安德烈亚斯·梅耶；沃尔克·索尔格；罗伊·麦卡斯兰 三 2004 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格；西蒙·科尔顿；罗伊·麦卡斯兰；安德烈亚斯·梅耶 三 2008 SAT求解在有限代数分类中的应用。 Zbl 1109.68103号 安德烈亚斯·梅耶；沃尔克·索尔格 2 2005 正在处理文本样式矩阵。 Zbl 1151.68674号 艾伦·塞克斯顿；沃尔克·索尔格 2 2006 在证据规划中使用外部推理器。 Zbl 0958.68152号 艾丽卡·梅利斯；沃尔克·索尔格 2 1999 提取PDF文档中数学内容的精确数据。 Zbl 1170.68481号 约瑟夫·贝克（Josef B.Baker）。；艾伦·塞克斯顿。；沃尔克·索尔格 2 2008 从纸上获取抽象矩阵。 Zbl 1188.68280号 Toshihiro Kanahori；艾伦·塞克斯顿；沃尔克·索尔格；铃木、Masakazu 2 2006 从PDF中识别数学公式的线性语法方法。 Zbl 1247.68225号 约瑟夫·贝克（Josef B.Baker）。；艾伦·塞克斯顿。；沃尔克·索尔格 2 2009 \（Omega）-ANTS–一种结合交互式和自动化定理证明的开放方法。 Zbl 0986.68128号 克里斯托夫·本兹穆勒；沃尔克·索尔格 2 2001 探索剩余类的性质。 Zbl 0986.68132号 安德烈亚斯·梅耶；沃尔克·索尔格 2 2001 直观和形式表示：矩阵的情况。 Zbl 1108.68600号 马丁·波莱特；沃尔克·索尔格；曼弗雷德·科伯 2 2004 验证置换群问题的解决方案。 Zbl 1278.68254号 阿杰·科恩；斯科特·默里。；马丁·波莱特；沃尔克·索尔格 2 2003 运用理论形成指导校样规划。 Zbl 1072.68582号 安德烈亚斯·梅耶；沃尔克·索尔格；西蒙·科尔顿 2 2002 智能计算机数学。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。 Zbl 1316.68015号 2 2015 同位素不变量的自动构造和验证。 Zbl 1139.68050号 沃尔克·索尔格；安德烈亚斯·梅耶；罗伊·麦卡斯兰；西蒙·科尔顿 2 2008 人工智能、自动推理和符号计算。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。 Zbl 0993.00048号 1 2002 面向数学公式识别解析器。 Zbl 1188.68284号 阿马尔·拉贾；马修·雷纳；艾伦·塞克斯顿；沃尔克·索尔格 1 2006 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶；马丁·波莱特；沃尔克·索尔格 1 2001 智能计算机数学。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。 Zbl 1245.68013号 1 2012 同位素不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格；安德烈亚斯·梅耶；罗伊·麦卡斯兰；西蒙·科尔顿 1 2006 抽象矩阵算法中的泛型推理。 Zbl 1247.68327号 艾伦·塞克斯顿。；沃尔克·索尔格；斯蒂芬·瓦特（Stephen M.Watt）。 1 2009 实验数学体系的合理重构。 兹比尔1202.68374 雅克·卡雷特；Farmer，William M。；沃尔克·索尔格 1 2007 符号域分解。 兹比尔1286.68515 雅克·卡雷特；艾伦·塞克斯顿。；沃尔克·索尔格；斯蒂芬·瓦特（Stephen M.Watt）。 1 2010 SAT求解器的一组新的代数基准问题。 Zbl 1128.68476号 安德烈亚斯·梅耶；沃尔克·索尔格 1 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒；安德烈亚斯·梅耶；沃尔克·索尔格 1 2005 智能计算机数学。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。 Zbl 1316.68015号 2 2015 智能计算机数学。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。 Zbl 1245.68013号 1 2012 通过对Smaradache AG-groups的研究列举AG-group。 Zbl 1250.20058号 穆罕默德·沙阿；查尔斯·格雷顿；沃尔克·索尔格 三 2011 AG-群的枚举。 Zbl 1250.20055号 安德烈亚斯·迪斯特勒；穆罕默德·沙阿；沃尔克·索尔格 三 2011 符号域分解。 Zbl 1286.68515号 雅克·卡雷特；艾伦·塞克斯顿。；沃尔克·索尔格；斯蒂芬·瓦特（Stephen M.Watt）。 1 2010 使用抽象矩阵结构进行计算。 Zbl 1237.68261号 艾伦·塞克斯顿。；沃尔克·索尔格；斯蒂芬·瓦特（Stephen M.Watt）。 5 2009 从PDF中识别数学公式的线性语法方法。 Zbl 1247.68225号 约瑟夫·贝克（Josef B.Baker）。；艾伦·塞克斯顿。；沃尔克·索尔格 2 2009 抽象矩阵算法中的泛型推理。 Zbl 1247.68327号 艾伦·塞克斯顿。；沃尔克·索尔格；斯蒂芬·瓦特（Stephen M.Watt）。 1 2009 通过自动合作进行组合推理。 Zbl 1162.68646号 克里斯托夫·本兹穆勒；沃尔克·索尔格；马蒂亚·贾姆尼克；曼弗雷德·科伯 7 2008 智能计算机数学。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号 三 2008 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格；西蒙·科尔顿；罗伊·麦卡斯兰；安德烈亚斯·梅耶 三 2008 提取PDF文档中数学内容的精确数据。 Zbl 1170.68481号 约瑟夫·贝克（Josef B.Baker）。；艾伦·塞克斯顿。；沃尔克·索尔格 2 2008 同位素不变量的自动构造和验证。 Zbl 1139.68050号 沃尔克·索尔格；安德烈亚斯·梅耶；罗伊·麦卡斯兰；西蒙·科尔顿 2 2008 实验数学体系的合理重构。 Zbl 1202.68374号 雅克·卡雷特；Farmer，William M。；沃尔克·索尔格 1 2007 符号计算中的抽象矩阵。 Zbl 1356.68294号 艾伦·塞克斯顿；沃尔克·索尔格 三 2006 正在处理文本样式矩阵。 Zbl 1151.68674号 艾伦·塞克斯顿；沃尔克·索尔格 2 2006 从纸上获取抽象矩阵。 Zbl 1188.68280号 Kanahori、Toshihiro；艾伦·塞克斯顿；沃尔克·索尔格；铃木、Masakazu 2 2006 用于数学公式识别的解析器。 兹比尔1188.68284 阿马尔·拉贾；马修·雷纳；艾伦·塞克斯顿；沃尔克·索尔格 1 2006 同位素不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格；安德烈亚斯·梅耶；罗伊·麦卡斯兰；西蒙·科尔顿 1 2006 高阶和一阶定理证明器能合作吗？ Zbl 1108.68570号 克里斯托夫·本兹穆勒；沃尔克·索尔格；马蒂亚·贾姆尼克；曼弗雷德·科伯 5 2005 SAT求解在有限代数分类中的应用。 Zbl 1109.68103号 安德烈亚斯·梅耶；沃尔克·索尔格 2 2005 SAT求解器的一组新的代数基准问题。 Zbl 1128.68476号 安德烈亚斯·梅耶；沃尔克·索尔格 1 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒；安德烈亚斯·梅耶；沃尔克·索尔格 1 2005 多智能体系统中的分布式约束问题求解与推理。 Zbl 1069.68098号 14 2004 有限代数分类定理的自动生成。 Zbl 1126.68562号 西蒙·科尔顿；安德烈亚斯·梅耶；沃尔克·索尔格；罗伊·麦卡斯兰 三 2004 直观和形式表示：矩阵的情况。 Zbl 1108.68600号 马丁·波莱特；沃尔克·索尔格；曼弗雷德·科伯 2 2004 验证置换群问题的解决方案。 Zbl 1278.68254号 阿杰·科恩；斯科特·默里。；马丁·波莱特；沃尔克·索尔格 2 2003 使用\（\Omega\）MEGA验证开发。 Zbl 1072.68591号 约格·西克曼；克里斯托夫·本兹穆勒；弗拉基米尔·勃列日涅夫；Lassaad Cheikhrouhou；阿明·菲德勒；安德烈亚斯·弗兰克；赫尔穆特·霍拉切克；迈克尔·科尔哈斯；安德烈亚斯·梅耶；艾丽卡·梅利斯；马库斯·莫什内尔；伊曼纽尔·诺曼；马丁·波莱特；沃尔克·索尔格；卡斯滕·乌尔里奇；克劳斯·皮特·沃思；尤根·齐默 7 2002 比较剩余类领域的探索方法。 Zbl 1038.68110号 安德烈亚斯·梅耶；马丁·波莱特；沃尔克·索尔格 三 2002 运用理论形成指导校样规划。 Zbl 1072.68582号 安德烈亚斯·梅耶；沃尔克·索尔格；西蒙·科尔顿 2 2002 人工智能、自动推理和符号计算。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。 Zbl 0993.00048号 1 2002 使用面向代理的推理系统进行实验。 Zbl 1007.68710号 克里斯托夫·本兹穆勒；马蒂亚·贾姆尼克；曼弗雷德·科伯；沃尔克·索尔格 4 2001 \（Omega）-ANTS–一种结合交互式和自动化定理证明的开放方法。 Zbl 0986.68128号 克里斯托夫·本兹穆勒；沃尔克·索尔格 2 2001 探索剩余类的性质。 Zbl 0986.68132号 安德烈亚斯·梅耶；沃尔克·索尔格 2 2001 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶；马丁·波莱特；沃尔克·索尔格 1 2001 证明规划中的非平凡符号计算。 兹伯利0962.68152 沃尔克·索尔格 7 2000 面向代理的分布式数学服务集成。 Zbl 0961.68117号 安德烈亚斯·弗兰克；斯蒂芬·赫斯（Stephan M.Hess）。；克里斯托夫·荣格。；迈克尔·科尔哈斯；沃尔克·索尔格 4 1999 在举证计划中使用外部推理机。 Zbl 0958.68152号 艾丽卡·梅利斯；沃尔克·索尔格 2 1999 将计算机代数集成到证明规划中。 Zbl 0916.68144号 曼弗雷德·科伯；迈克尔·科尔哈斯；沃尔克·索尔格 9 1998 \（\欧米茄\）百万：朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒；Lassaad Cheikhrouhou；Fehrer、Detlef；阿明·菲德勒；黄晓荣；曼弗雷德·科伯；迈克尔·科尔哈斯；卡斯滕·康拉德；安德烈亚斯·梅耶；艾丽卡·梅利斯；沃尔夫·沙尔斯奇米特；约格·西克曼；沃尔克·索尔格 10 1997 所有引用出版物 前5名被引用出版物 全部的 前5名192位作者引用 10 沃尔克·索尔格 9 克里斯托夫·埃瓦尔德·本兹穆勒 8 杰夫·萨特克利夫 5 贾斯敏·克里斯蒂安·布兰切特 5 安德烈亚斯·梅耶 4 伊姆蒂亚斯·艾哈迈德 4 迈克尔·科尔哈斯 4 艾丽卡·梅利斯 4 劳伦斯·查尔斯·保尔森 4 弗洛里安·拉贝 4 谢克曼，Jörg H。 三 艾伦·塞克斯顿。 三 泰斯，弗兰克 2 亚历山大·本特坎普 2 乍得·布朗·爱德华 2 奥尔加·卡普洛蒂 2 雅克·卡雷特 2 西蒙·科尔顿 2 西蒙·克鲁恩斯 2 大卫·德拉哈耶 2 Farmer，William M。 2 Fehrer、Detlef 2 斯特凡·赫兹尔 2 Cezary卡利西克 2 卡拉斯兰，法鲁克 2 曼弗雷德·科伯 2 阿图尔·科尔尼·奥维茨 2 亚历山大·莱奇 2 勒内·曼迪奥 2 亚当·纳莫维奇 2 Nummelin，维萨卡 2 Sylvain Piechowiak 2 吉赛尔·赖斯 2 马吕斯·科林·西拉吉 2 亚历山大·斯蒂恩 2 索菲·托雷特 2 阿曼·乌拉 2 约瑟夫·乌尔班 2 朱利安·维昂 2 佩塔·武克米罗维奇 2 丹尼尔·韦勒（Daniel S.Weller）。 2 罗伊·齐万 1 阿里·艾哈迈迪安 1 阿提姆·阿尔哈佐夫 1 兰达·阿门 1 哈桑·阿姆贾德 1 安德鲁斯，彼得·B·。 1 亚历山德罗·阿曼多 1 谢尔盖·奥特西尔 1 杰里米·阿维加德 1 Seulkee Baek公司 1 约瑟夫·贝克（Josef B.Baker）。 1 Grzegorz Bancerek公司 1 哈尼尔·巴博萨 1 达米安·巴索蒂 1 奥马尔·贝林赫里 1 Böhme，萨沙 1 博鲁曼德·赛义德（Borumand Saeid），阿尔沙姆 1 布齐安·欣德·莉莉亚 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 Czesław拜林斯基 1 朱莉·凯勒 1 保罗·凯恩斯 1 克里斯蒂安·卡鲁德。 1 马可·布赖特·卡米纳蒂 1 曹、冯 1 Lassaad Cheikhrouhou 1 陈树伟 1 亚历山德罗·科利奥 1 科恩，阿尔杰·马塞尔 1 罗伯特·马尔科姆·科尔利斯 1 汉斯·德·尼维尔 1 马丁·德沙奈斯 1 安德烈亚斯·迪斯特勒 1 卢卡斯·狄克逊 1 罗斯·邓肯 1 加布里埃尔·埃布纳 1 沙克雷·埃尔曼 1 阿明·菲德勒 1 阿诺德·菲埃茨克 1 雅克·弗莱里奥特。 1 马蒂亚斯·弗勒里 1 帕斯卡·方丹 1 安德烈亚斯·弗兰克 1 鲁道夫·弗伦德 1 赤雄藤桥 1 霍尔格·加斯特 1 Thibault Gauthier 1 贾娜·吉切娃 1 福斯托·金奇利亚 1 杰里米·高 1 亚当·格拉博夫斯基 1 巴斯蒂安·海仁 1 Heule，Marijn J.H。 1 平山、胜都 1 阿波罗霍根 1 赫尔穆特·霍拉切克 1 富利亚·霍罗扎尔 1 黄晓荣 …还有92位作者 全部的 前5名24篇连载文章中引用 16 自动推理杂志 7 符号计算杂志 6 应用逻辑杂志 4 数学与人工智能年鉴 三 人工智能 2 信息科学 1 Physik的Fortschritte 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 人工智能通信 1 机器学习 1 数学科学杂志（纽约） 1 人工智能研究杂志 1 科学基础 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 数学基础研究杂志 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 欧洲纯粹与应用数学杂志 1 计算机科学评论 1 西伯利亚联邦大学学报。数学和物理 1 AIMS数学 全部的 前5名在14个字段中引用 83 计算机科学（68至XX） 22 数学逻辑和基础（03-XX） 5 群论与推广（20-XX） 2 总体主题；集合（00-XX） 2 组合数学（05-XX） 2 量子理论（81-XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文