编辑配置文件(在新选项卡中打开) 沃尔克·索尔格 合著者距离 作者ID: 索尔赫·沃尔克 发布方式: 沃尔克·索尔格;索尔格,V。 已编制索引的文档: 47出版物自1997年起 6作为编辑的贡献 合著者: 63位合著者具有52联合出版物 991合著作者 全部的 前5名合著者 1 单作者的 14 安德烈亚斯·梅耶 13 艾伦·P·塞克斯顿。 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 香芹酮,大卫·P·。 1 阿杰·马赛尔·科恩 1 安德烈亚斯·迪斯特勒 1 加布里埃尔·多斯·里斯 1 Farmer,William M。 1 Fehrer、Detlef 1 查尔斯·格雷顿 1 洛朗·海诺克 1 斯蒂芬·赫斯(Stephan M.Hess)。 1 赫尔穆特·霍拉切克 1 黄晓荣 1 约翰·杰林 1 克里斯托夫·荣格。 1 塞萨里·卡利西克 1 Kanahori、Toshihiro 1 卡斯滕·康拉德 1 库拉图尔·阿因·马西萨尔 1 马库斯·莫什内尔 1 斯科特·默里。 1 伊曼纽尔·诺曼 1 弗洛里安·拉贝 1 阿马尔·拉贾 1 马修·雷纳 1 鲁比奥·加西亚、朱利奥·杰苏斯 1 克劳迪奥·萨塞尔多蒂·科恩 1 沃尔夫·沙尔斯奇米特 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 证明规划中的非平凡符号计算。 兹伯利0962.68152 沃尔克·索尔格 7 2000 通过自动合作进行组合推理。 Zbl 1162.68646号 克里斯托夫·本兹穆勒;沃尔克·索尔格;马蒂亚·贾姆尼克;曼弗雷德·科伯 7 2008 使用\(\Omega\)MEGA验证开发。 兹比尔1072.68591 约格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 7 2002 使用抽象矩阵结构进行计算。 Zbl 1237.68261号 艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。 5 2009 高阶和一阶定理证明器能合作吗? Zbl 1108.68570号 克里斯托夫·本兹穆勒;沃尔克·索尔格;马蒂亚·贾姆尼克;曼弗雷德·科伯 5 2005 使用面向代理的推理系统进行实验。 Zbl 1007.68710号 克里斯托夫·本兹穆勒;马蒂亚·贾姆尼克;曼弗雷德·科伯;沃尔克·索尔格 4 2001 面向代理的分布式数学服务集成。 Zbl 0961.68117号 安德烈亚斯·弗兰克;斯蒂芬·赫斯(Stephan M.Hess)。;克里斯托夫·荣格。;迈克尔·科尔哈斯;沃尔克·索尔格 4 1999 有限代数分类定理的自动生成。 Zbl 1126.68562号 西蒙·科尔顿;安德烈亚斯·梅耶;沃尔克·索尔格;罗伊·麦卡斯兰德 三 2004 通过对Smaradache AG-groups的研究列举AG-group。 Zbl 1250.20058号 穆罕默德·沙阿;查尔斯·格雷顿;沃尔克·索尔格 三 2011 比较剩余类领域的探索方法。 Zbl 1038.68110号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 三 2002 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 三 2008 智能计算机数学。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号 三 2008 AG-群的枚举。 Zbl 1250.20055号 安德烈亚斯·迪斯特勒;穆罕默德·沙阿;沃尔克·索尔格 三 2011 符号计算中的抽象矩阵。 Zbl 1356.68294号 艾伦·塞克斯顿;沃尔克·索尔格 三 2006 SAT求解在有限代数分类中的应用。 兹比尔1109.68103 安德烈亚斯·梅耶;沃尔克·索尔格 2 2005 从纸上获取抽象矩阵。 Zbl 1188.68280号 Toshihiro Kanahori;艾伦·塞克斯顿;沃尔克·索尔格;铃木、Masakazu 2 2006 直观和形式表示:矩阵的情况。 Zbl 1108.68600号 马丁·波莱特;沃尔克·索尔格;曼弗雷德·科伯 2 2004 在证据规划中使用外部推理器。 Zbl 0958.68152号 艾丽卡·梅利斯;沃尔克·索尔格 2 1999 \(Omega)-ANTS–一种结合交互式和自动化定理证明的开放方法。 Zbl 0986.68128号 克里斯托夫·本兹穆勒;沃尔克·索尔格 2 2001 探索剩余类的性质。 Zbl 0986.68132号 安德烈亚斯·梅耶;沃尔克·索尔格 2 2001 验证置换群问题的解决方案。 Zbl 1278.68254号 阿杰·科恩;斯科特·默里。;马丁·波莱特;沃尔克·索尔格 2 2003 同构不变量的自动构造和验证。 Zbl 1139.68050号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 2 2008 运用理论形成指导校样规划。 Zbl 1072.68582号 安德烈亚斯·梅耶;沃尔克·索尔格;西蒙·科尔顿 2 2002 智能计算机数学。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。 Zbl 1316.68015号 2 2015 从PDF中识别数学公式的线性语法方法。 Zbl 1247.68225号 约瑟夫·贝克(Josef B.Baker)。;艾伦·P·塞克斯顿。;沃尔克·索尔格 2 2009 提取PDF文档中数学内容的精确数据。 Zbl 1170.68481号 约瑟夫·贝克(Josef B.Baker)。;艾伦·P·塞克斯顿。;沃尔克·索尔格 2 2008 正在处理文本样式矩阵。 Zbl 1151.68674号 艾伦·塞克斯顿;沃尔克·索尔格 2 2006 面向数学公式识别解析器。 Zbl 1188.68284号 阿马尔·拉贾;马修·雷纳;艾伦·塞克斯顿;沃尔克·索尔格 1 2006 实验数学体系的合理重构。 Zbl 1202.68374号 雅克·卡雷特;Farmer,William M。;沃尔克·索尔格 1 2007 同位素不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 1 2006 智能计算机数学。2012年7月8日至13日,在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。 Zbl 1245.68013号 1 2012 符号域分解。 Zbl 1286.68515号 雅克·卡雷特;艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。 1 2010 人工智能、自动推理和符号计算。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculemus 2002,第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。 Zbl 0993.00048号 1 2002 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒;安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 SAT求解器的一组新的代数基准问题。 Zbl 1128.68476号 安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 同构剩余类的分类。 Zbl 1023.68883号 安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 1 2001 抽象矩阵算法中的泛型推理。 Zbl 1247.68327号 艾伦·P·塞克斯顿。;沃尔克·索尔格;瓦特,斯蒂芬·M。 1 2009 智能计算机数学。国际会议,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号 雅克·卡雷特;艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。 1 2010 使用抽象矩阵结构进行计算。 Zbl 1237.68261号 艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。 5 2009 从PDF中识别数学公式的线性语法方法。 兹比尔1247.68225 约瑟夫·贝克(Josef B.Baker)。;艾伦·P·塞克斯顿。;沃尔克·索尔格 2 2009 抽象矩阵算法中的泛型推理。 Zbl 1247.68327号 艾伦·P·塞克斯顿。;沃尔克·索尔格;斯蒂芬·瓦特(Stephen M.Watt)。 1 2009 通过自动合作进行组合推理。 Zbl 1162.68646号 克里斯托夫·本兹穆勒;沃尔克·索尔格;马蒂亚·贾姆尼克;曼弗雷德·科伯 7 2008 分类通过组合自动推理工具产生拟群和循环理论。 Zbl 1192.20062号 沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 三 2008 智能计算机数学。2008年7月28日至8月1日,在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 Zbl 1154.68002号 三 2008 同位素不变量的自动构造和验证。 Zbl 1139.68050号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 2 2008 提取PDF文档中数学内容的精确数据。 Zbl 1170.68481号 约瑟夫·贝克(Josef B.Baker)。;艾伦·P·塞克斯顿。;沃尔克·索尔格 2 2008 实验数学体系的合理重构。 Zbl 1202.68374号 雅克·卡雷特;Farmer,William M。;沃尔克·索尔格 1 2007 符号计算中的抽象矩阵。 兹比尔1356.68294 艾伦·塞克斯顿;沃尔克·索尔格 三 2006 从纸上获取抽象矩阵。 Zbl 1188.68280号 Toshihiro Kanahori;艾伦·塞克斯顿;沃尔克·索尔格;铃木、Masakazu 2 2006 正在处理文本样式矩阵。 Zbl 1151.68674号 艾伦·塞克斯顿;沃尔克·索尔格 2 2006 面向数学公式识别解析器。 Zbl 1188.68284号 阿马尔·拉贾;马修·雷纳;艾伦·塞克斯顿;沃尔克·索尔格 1 2006 同位素不变量的自动构造和验证。 Zbl 1214.68337号 沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 1 2006 高阶和一阶定理证明器能合作吗? Zbl 1108.68570号 克里斯托夫·本兹穆勒;沃尔克·索尔格;马蒂亚·贾姆尼克;曼弗雷德·科伯 5 2005 SAT求解在有限代数分类中的应用。 兹比尔1109.68103 安德烈亚斯·梅耶;沃尔克·索尔格 2 2005 桥接定理证明与数学知识检索。 Zbl 1098.68696号 克里斯托夫·本兹穆勒;安德烈亚斯·梅耶;沃尔克·索尔格 1 2005 SAT求解器的一组新的代数基准问题。 兹比尔1128.68476 安德烈亚斯·梅耶;沃尔克·索尔格 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 探索剩余类的性质。 兹伯利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。 三 艾伦·P·塞克斯顿。 三 泰斯,弗兰克 2 亚历山大·本特坎普 2 乍得·布朗·爱德华 2 奥尔加·卡普洛蒂 2 雅克·卡雷特 2 西蒙·科尔顿 2 西蒙·克鲁内斯 2 大卫·德拉哈耶 2 Farmer,William M。 2 Fehrer、Detlef 2 斯特凡·赫兹尔 2 塞萨里·卡利西克 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 格拉泽戈兹·班塞雷克 1 哈尼尔·巴博萨 1 达米安·巴索蒂 1 奥马尔·贝林赫里 1 Böhme,萨沙 1 博鲁曼德·赛义德(Borumand Saeid),阿尔沙姆 1 布齐安·欣德·莉莉亚 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 Czesław拜林斯基 1 朱莉·凯勒 1 保罗·凯恩斯 1 克里斯蒂安·卡鲁德。 1 马可·布赖特·卡米纳蒂 1 曹、冯 1 拉沙德切赫鲁侯 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 AI通信 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) 按年份列出的引文