编辑配置文件(在新选项卡中打开) 让·H·盖利尔。 合著者距离 作者ID: galler.jean-h鸡 发布日期: 让·H·盖利尔。;吉恩·盖利埃 已编制索引的文档: 61出版物自1978年以来,包括11本书和2个附加arXiv预打印 合著者: 20位合著者具有33联合出版物 362名合著者 全部的 前5名合著者 28 单作者的 9 韦恩·斯奈德 5 Jocelyn Quaintance,乔斯林 5 斯坦·拉茨 4 巴利亚特·纳伦德兰 三 瓦尔省布雷祖·坦南 三 亚历克斯·佩林 三 大卫·艾伦(David Alan),Plaisted 三 马塞洛·西奎拉 三 Xu,戴安娜 2 威廉·F·道林。 2 哎呀,詹姆斯·C。 1 书,罗纳德·弗农 1 布鲁诺·库塞尔 1 萨尔瓦多拉托雷 1 Latecki,Longin Jan公司 1 Supratik穆霍帕迪耶 1 苏尼塔·拉马斯瓦米 1 卡尔·辛普夫(Karl M.Schimpf)。 1 泰萨·桑达拉姆 1 尼古拉斯·托蒂森。 全部的 前5名系列 12 理论计算机科学 4 纯逻辑与应用逻辑年鉴 三 逻辑编程杂志 三 几何与计算 2 计算机协会杂志 2 计算机与系统科学杂志 2 SIAM计算机杂志 2 符号计算杂志 2 信息与计算 2 应用数学课文 1 信息处理信件 1 数学系统理论 1 欧洲理论计算机科学协会公报 1 国际计算几何与应用杂志 1 微分几何及其应用 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学成像与视觉杂志 1 国际机器人与自动化 1 计算机科学中的逻辑方法 1 Universitext(通用文本) 全部的 前5名领域 43 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 8 一般代数系统(08-XX) 7 数值分析(65-XX) 4 拓扑群、李群(22日至XX日) 4 差速器几何结构(53至XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 范畴理论;同调代数(18-XX) 三 代数拓扑(55-XX) 2 阶、格、有序代数结构(06-XX) 2 几何图形(51至XX) 2 流形和细胞复合体(57至XX) 2 整体分析,流形分析(58至XX) 1 组合数学(05-XX) 1 代数几何(14-XX) 1 结合环与代数(16-XX) 1 特殊功能(33至XX) 1 凸和离散几何(52至XX) 1 运筹学、数学规划(90-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用826次726文件 引用人▼ 年份▼ 用于测试命题Horn公式可满足性的线性时间算法。 Zbl 0593.68062号 威廉·F·道林。;让·H·盖利尔。 229 1984 计算机科学的逻辑。自动定理证明的基础。 Zbl 0605.03004号 让·H·盖利尔。 107 1986 重新审视高阶统一:完整的转换集。 Zbl 0682.03034号 韦恩·斯奈德;吉恩·盖利埃 37 1989 几何方法和应用。适用于计算机科学和工程。第2版。 Zbl 1247.53001号 吉恩·盖利埃 35 2011 克鲁斯卡尔定理和序数(Gamma{}_0)有什么特别之处?对证明理论中一些结果的综述。 Zbl 0758.03025号 让·H·盖利尔。 32 1991 通用E-统一的完整转换集。 Zbl 0686.68024号 让·H·盖利尔。;韦恩·斯奈德 30 1989 几何方法和应用。用于计算机科学和工程。 Zbl 1031.53001号 吉恩·盖利埃 23 2001 多态重写保持代数强正规化。 Zbl 0745.68065号 瓦尔省布雷祖·坦南;吉恩·盖利埃 22 1991 树木替换系统的减少。 Zbl 0602.68072号 让·H·盖利尔。;罗纳德·V·布克。 21 1985 通用完整的电子统一程序。 Zbl 0641.68045号 让·H·盖利尔。;斯奈德,韦恩 19 1987 多态重写保持代数强正规化和合流。 Zbl 0686.68022号 瓦尔省布雷祖·坦南;吉恩·盖利埃 18 1989 利用方程组和刚性(E)-统一证明定理。 兹比尔0799.68171 吉恩·盖利埃;巴利亚特·纳伦德兰;斯坦·拉茨;韦恩·斯奈德 17 1992 一种在多项式时间内寻找地面重写规则规范集的算法。 Zbl 0779.68050号 吉恩·盖利埃;巴利亚特·纳伦德兰;大卫·普拉斯泰德;斯坦·拉茨;韦恩·斯奈德 16 1993 微分几何和李群。计算视角。 Zbl 1453.53001号 吉恩·盖利埃;Jocelyn Quaintance公司 14 2020 三维数字图像的拓扑修复。 Zbl 1523.68162号 马塞洛·西奎拉;Latecki,Longin Jan公司;尼古拉斯·塔蒂森;吉恩·盖利埃;哎呀,詹姆斯 13 2008 建构逻辑。一: 关于证明系统和键入\(\lambda\)-calculi的教程。 Zbl 0772.03026号 吉恩·盖利埃 13 1993 树下推自动机。 Zbl 0565.68080号 卡尔·辛普夫。;让·H·盖利尔。 12 1985 计算不对称矩阵的指数和正交矩阵的对数。 Zbl 1320.65062号 吉恩·盖利埃;徐黛安娜 12 2002 微分几何和李群。第二道菜。 Zbl 1456.53001号 吉恩·盖利埃;Jocelyn Quaintance公司 12 2020 多态重写保持代数合流。 Zbl 0820.68059号 布雷祖·坦南,瓦尔;吉恩·盖利埃 11 1994 DPDA的“原子范式”及其在等价问题中的应用。 Zbl 0474.68065号 让·H·盖利尔。 11 1981 紧致曲面分类定理指南。 Zbl 1270.57001号 吉恩·盖利埃;徐黛安娜 10 2013 使用E-统一将SLD解析扩展到等式Horn子句。 Zbl 0668.68111号 让·H·盖利尔。;斯坦·拉茨 9 1989 递归闭代数理论。 Zbl 0472.68006号 让·H·盖利尔。 8 1981 刚性E-统一:NP-完备性及其在方程组中的应用。 Zbl 0709.68080号 吉恩·盖利埃;巴利亚特·纳伦德兰;大卫·普拉斯泰德;韦恩·斯奈德 7 1990 离散数学。 Zbl 1227.05002号 吉恩·盖利埃 7 2011 Hornlog:通用Horn子句的基于图形的解释器。 Zbl 0641.68145号 让·H·盖利尔。;斯坦·拉茨 6 1987 具有递归过程的非确定性流程图程序:语义和正确性。二、。 Zbl 0461.68015号 让·H·盖利尔。 6 1981 具有递归过程的不确定性流程图程序的语义和正确性(初步报告)。 Zbl 0382.68015号 让·H·盖利尔。 5 1978 键入非类型化\(\lambda\)-术语,或可还原性再次罢工! Zbl 0930.03011号 吉恩·盖利埃 5 1998 参数化伪流形。 Zbl 1263.57016号 吉恩·盖利埃;徐黛安娜;马塞洛·西奎拉 4 2012 n-有理代数。基本性质和自由代数。 Zbl 0554.68017号 让·H·加利耶。 4 1984 递归方案和广义解释(扩展抽象)。 Zbl 0409.68014号 让·H·盖利尔。 4 1979 具有递归过程的非确定性流程图程序:语义和正确性。一、。 Zbl 0441.68011号 让·H·盖利尔。 4 1981 关于最优不动点的存在性。 Zbl 0445.06002号 让·H·盖利尔。 4 1980 几何建模中的曲线和曲面。理论和算法。 Zbl 0988.65008号 吉恩·盖利埃 4 1999 线性代数和优化及其在机器学习中的应用。第一卷:计算机视觉、机器人和机器学习的线性代数。 Zbl 1450.15001号 吉恩·盖利埃;Jocelyn Quaintance公司 4 2020 寻找多项式时间内等价于有限组基本方程的正则重写系统。 Zbl 0661.68093号 吉恩·盖利埃;巴利亚特·纳伦德兰;大卫·普拉斯泰德;斯坦·拉茨;韦恩·斯奈德 三 1988 n-有理代数。二、。不等式的多样性和逻辑。 Zbl 0554.68018号 让·H·盖利尔。 三 1984 具有有限类型函数参数的递归程序的语义:n-有理代数和不等式逻辑。 Zbl 0577.68026号 让·H·盖利尔。 三 1985 基于匹配的自动扣除方法中的统一程序:一项调查。 Zbl 0798.68151号 让·H·加利耶。 三 1992 使用转换设计统一过程:一项调查。 Zbl 0744.68112号 让·H·盖利尔。;韦恩·斯奈德 三 1990 代数拓扑、代数几何和微分几何的同调、上同调和层上同调。 兹比尔1480.55001 吉恩·盖利埃;Jocelyn Quaintance公司 三 2022 用方程测试ground Horn子句不可满足性的快速算法。 Zbl 0641.68146号 让·H·盖利尔。 2 1987 使用可实现性、覆盖和滑轮证明类型化术语的属性。 Zbl 0873.68125号 吉恩·盖利埃 2 1995 “DPDA的“原子范式”及其在等价问题中的应用”的勘误表。 Zbl 0483.68048号 让·H·盖利尔。 2 1982 精确的计算序列。 Zbl 0605.68019号 亚历克斯·佩林;让·H·盖利尔。 1 1986 命题分解的完备性:一个简单而有建设性的证明。 邮编1127.03008 让·H·盖利尔。 1 2006 勘误表:“克鲁斯卡尔定理和序数有什么特别之处?对证明理论中一些结果的综述”。 Zbl 0896.03045号 让·H·盖利尔。 1 1997 带有递归调用和DPDA的确定性有限自动机。 Zbl 1161.68527号 让·H·盖利尔。;萨尔瓦多拉托雷;Supratik穆霍帕迪耶 1 2003 使用复杂性函数解决自由代数中的单词问题。 Zbl 0546.08003号 亚历克斯·佩林;让·H·盖利尔。 1 1984 有界尺寸的约束四边形网格。 Zbl 1060.65668号 苏尼塔·拉马斯瓦米;马塞洛·西奎拉;泰萨·桑达拉姆;吉恩·盖利埃;哎呀,詹姆斯 1 2005 线性代数和优化及其在机器学习中的应用。第二卷:优化理论基础及其在机器学习中的应用。 兹比尔1446.90107 吉恩·盖利埃;Jocelyn Quaintance公司 1 2020 代数拓扑、代数几何和微分几何的同调、上同调和层上同调。 Zbl 1480.55001号 吉恩·盖利埃;Jocelyn Quaintance公司 三 2022 微分几何和李群。计算视角。 Zbl 1453.53001号 吉恩·盖利埃;Jocelyn Quaintance公司 14 2020 微分几何和李群。第二道菜。 兹比尔1456.53001 吉恩·盖利埃;Jocelyn Quaintance公司 12 2020 线性代数和优化及其在机器学习中的应用。第一卷:计算机视觉、机器人和机器学习的线性代数。 Zbl 1450.15001号 吉恩·盖利埃;Jocelyn Quaintance公司 4 2020 线性代数和优化及其在机器学习中的应用。第二卷:优化理论基础及其在机器学习中的应用。 Zbl 1446.90107号 吉恩·盖利埃;Jocelyn Quaintance公司 1 2020 紧致曲面分类定理指南。 Zbl 1270.57001号 吉恩·盖利埃;徐黛安娜 10 2013 参数伪流形。 Zbl 1263.57016号 吉恩·盖利埃;徐黛安娜;马塞洛·西奎拉 4 2012 几何方法和应用。适用于计算机科学和工程。第2版。 Zbl 1247.53001号 吉恩·盖利埃 35 2011 离散数学。 Zbl 1227.05002号 吉恩·盖利埃 7 2011 三维数字图像的拓扑修复。 Zbl 1523.68162号 马塞洛·西奎拉;Latecki,Longin Jan公司;尼古拉斯·塔蒂森;吉恩·盖利埃;哎呀,詹姆斯 13 2008 命题分解的完备性:一个简单而有建设性的证明。 邮编1127.03008 让·H·盖利尔。 1 2006 有界尺寸的约束四边形网格。 Zbl 1060.65668号 苏尼塔·拉马斯瓦米;马塞洛·西奎拉;泰萨·桑达拉姆;吉恩·盖利埃;哎呀,詹姆斯 1 2005 具有递归调用和DPDA的确定性有限自动机。 Zbl 1161.68527号 让·H·盖利尔。;萨尔瓦多拉托雷;Supratik穆霍帕迪耶 1 2003 计算不对称矩阵的指数和正交矩阵的对数。 Zbl 1320.65062号 吉恩·盖利埃;Xu,戴安娜 12 2002 几何方法和应用。适用于计算机科学和工程。 Zbl 1031.53001号 吉恩·盖利埃 23 2001 几何建模中的曲线和曲面。理论和算法。 兹比尔0988.65008 吉恩·盖利埃 4 1999 键入非类型化\(\lambda\)-术语,或可还原性再次罢工! Zbl 0930.03011号 吉恩·盖利埃 5 1998 勘误表:“克鲁斯卡尔定理和序数有什么特别之处?对证明理论中一些结果的综述”。 Zbl 0896.03045号 让·H·盖利尔。 1 1997 使用可实现性、覆盖和滑轮证明类型化术语的属性。 Zbl 0873.68125号 吉恩·盖利埃 2 1995 多态重写保持代数合流。 Zbl 0820.68059号 瓦尔省布雷祖·坦南;吉恩·盖利埃 11 1994 一种在多项式时间内寻找地面重写规则规范集的算法。 Zbl 0779.68050号 吉恩·盖利埃;巴利亚特·纳伦德兰;大卫·普拉斯泰德;斯坦·拉茨;韦恩·斯奈德 16 1993 建构逻辑。一: 关于证明系统和键入\(\lambda\)-calculi的教程。 Zbl 0772.03026号 吉恩·盖利埃 13 1993 利用方程组和刚性(E)-统一证明定理。 兹比尔0799.68171 吉恩·盖利埃;巴利亚特·纳伦德兰;斯坦·拉茨;韦恩·斯奈德 17 1992 基于匹配的自动扣除方法中的统一程序:一项调查。 Zbl 0798.68151号 让·H·盖利尔。 三 1992 Kruskal定理和序数\(\Gamma{}_0\)有什么特别之处?对证明理论中一些结果的综述。 Zbl 0758.03025号 让·H·盖利尔。 32 1991 多态重写保持代数强正规化。 兹比尔074568065 瓦尔省布雷祖·坦南;吉恩·盖利埃 22 1991 刚性E-统一:NP-完备性及其在方程组中的应用。 Zbl 0709.68080号 吉恩·盖利埃;巴利亚特·纳伦德兰;大卫·普拉斯泰德;韦恩·斯奈德 7 1990 使用转换设计统一过程:一项调查。 Zbl 0744.68112号 让·H·盖利尔。;韦恩·斯奈德 三 1990 重新审视高阶统一:完整的转换集。 Zbl 0682.03034号 韦恩·斯奈德;吉恩·盖利埃 37 1989 通用E-统一的完整转换集。 Zbl 0686.68024号 让·H·盖利尔。;韦恩·斯奈德 30 1989 多态重写保持代数强正规化和合流。 Zbl 0686.68022号 瓦尔省布雷祖·坦南;吉恩·盖利埃 18 1989 使用E-统一将SLD解析扩展到等式Horn子句。 Zbl 0668.68111号 让·H·盖利尔。;斯坦·拉茨 9 1989 寻找多项式时间内等价于有限组基本方程的正则重写系统。 Zbl 0661.68093号 吉恩·盖利埃;巴利亚特·纳伦德兰;大卫·普拉斯泰德;斯坦·拉茨;韦恩·斯奈德 三 1988 通用完整的电子统一程序。 Zbl 0641.68045号 让·H·盖利尔。;斯奈德,韦恩 19 1987 Hornlog:通用Horn子句的基于图形的解释器。 Zbl 0641.68145号 让·H·盖利尔。;斯坦·拉茨 6 1987 用方程测试接地Horn子句不满足性的快速算法。 Zbl 0641.68146号 让·H·盖利尔。 2 1987 计算机科学的逻辑。自动定理证明的基础。 Zbl 0605.03004号 让·H·盖利尔。 107 1986 精确的计算序列。 Zbl 0605.68019号 亚历克斯·佩林;让·H·盖利尔。 1 1986 树木替换系统中的减少。 Zbl 0602.68072号 让·H·盖利尔。;罗纳德·V·布克。 21 1985 树下推自动机。 Zbl 0565.68080号 卡尔·辛普夫(Karl M.Schimpf)。;让·H·盖利尔。 12 1985 具有有限类型函数参数的递归程序的语义:n-有理代数和不等式逻辑。 Zbl 0577.68026号 让·H·盖利尔。 三 1985 用于测试命题Horn公式可满足性的线性时间算法。 Zbl 0593.68062号 威廉·F·道林。;让·H·盖利尔。 229 1984 n-有理代数。基本性质和自由代数。 Zbl 0554.68017号 让·H·盖利尔。 4 1984 n-有理代数。二、。不等式的多样性和逻辑。 Zbl 0554.68018号 让·H·盖利尔。 三 1984 使用复杂性函数解决自由代数中的单词问题。 Zbl 0546.08003号 亚历克斯·佩林;让·H·加利耶。 1 1984 “DPDA的“原子范式”及其在等价问题中的应用”的勘误表。 Zbl 0483.68048号 让·H·盖利尔。 2 1982 DPDA的“原子范式”及其在等价问题中的应用。 兹伯利0474.68065 让·H·盖利尔。 11 1981 递归闭代数理论。 Zbl 0472.68006号 让·H·盖利尔。 8 1981 具有递归过程的非确定性流程图程序:语义和正确性。二、。 兹比尔0461.68015 让·H·盖利尔。 6 1981 具有递归过程的非确定性流程图程序:语义和正确性。一、。 Zbl 0441.68011号 让·H·盖利尔。 4 1981 关于最优不动点的存在性。 Zbl 0445.06002号 让·H·盖利尔。 4 1980 递归方案和广义解释(扩展抽象)。 Zbl 0409.68014号 让·H·盖利尔。 4 1979 具有递归过程的非确定性流程图程序的语义和正确性(初步报告)。 Zbl 0382.68015号 让·H·盖利尔。 5 1978 所有引用出版物 前5名被引用出版物 全部的 前5名1014位作者引用 16 让·H·盖利尔。 9 恩德雷·博罗斯 9 纳鸿·德肖维茨 9 茨城,东芝 9 Kazuhisa Makino 8 弗兰兹·巴德 8 托马斯·艾特 8 瓦格伏尔盖,桑多尔 7 彼得·库切拉 7 巴利亚特·纳伦德兰 7 韦恩·斯奈德 6 玛丽亚·保拉(Maria Paola Bonacina) 6 乔佩克,Ondřej 6 丹尼尔·多尔蒂(Daniel J.Dougherty)。 6 Jean-Pierre Jouannaud 6 迪帕克·卡普尔 6 克洛德·基什内尔 6 汉斯·克莱恩·勃宁 6 皮埃尔·莱斯坎 6 穆斯塔法·凯末尔·奥兹德米尔 6 曼弗雷德·施密特·沙乌 6 王金昌 5 杰拉尔多·阿拉贡·冈萨雷斯 5 马可·卡多利 5 布鲁诺·库塞尔 5 约翰·V·佛朗哥。 5 乔治·加洛 5 彼得·拉迪斯劳·哈默 5 扬·威廉·克鲁普 5 李伟 5 阿尔特·米德尔多普 5 钱振宇 5 罗德里格斯-安德拉德,马可·安东尼奥 5 克里希纳·苏布拉马尼 4 贾斯敏·克里斯蒂安·布兰切特 4 弗雷德里克·布兰基 4 休伯特·科蒙 4 罗伯托·迪·科斯莫 4 艾西克,佐尔坦 4 约翰·克劳斯·费希特 4 西尔维娅·吉勒赞 4 尤里·古里维奇 4 斯特芬·Hölldobler 4 帕特里夏·约翰 4 亚历山大·科根 4 V.Wiktor马雷克 4 Joáo P.塞尔瓦侯爵。 4 卡洛斯·门西娅 4 托比亚斯·尼普科 4 弗兰克·芬宁 4 安德烈·波佩斯库 4 丹尼尔·普雷托拉尼 4 Kai T.Salomaa。 4 马尔科·沙尔夫 4 巴特·塞尔曼 4 Aleksandr Anatol’evich塞梅诺夫 4 斯泽德,斯特凡 4 特鲁什琴斯基,米洛斯奥 4 佩塔·武克米罗维奇 4 Wojciechowski,Piotr J。 三 彼得·贝克曼 三 佛朗哥·巴巴内拉 三 吉尔·巴特 三 雷切尔·本·埃利亚胡·佐哈里 三 大卫·本森。 三 亚历山大·本特坎普 三 克里斯托夫·贝奇 三 斯蒂芬·布鲁姆。 三 尼古拉斯·布特里 三 Jean-Luc Coquidé 三 马克斯·多切特 三 莱昂纳多·德·莫拉 三 安纳托利·伊万诺维奇·德吉亚列夫 三 Gilles Dowek 三 玛丽贝尔·费尔南德斯 三 乌尔里希·富巴赫 三 蒂埃里·格雷德 三 González-Díaz,Rocío 三 乔治·戈特洛布 三 尼古拉·古伊 三 Masami Hagiya 三 杰·雅克·赫布拉德 三 斯蒂芬·亨纳(Stephen J.Hegner)。 三 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 三 安德烈·因德泽扎克(Andrzej Indrzejczak) 三 吉梅内斯,玛丽亚·何塞 三 亨利·考茨。 三 迪莉娅·凯斯纳 三 西尔维亚·利卡维奇 三 栾尚民 三 何塞·梅塞盖尔·瓜伊塔 三 戴尔·艾伦·米勒 三 米歇尔·安德烈·米努克斯 三 洛朗·纳杰曼 三 冈田三弘 三 弗里德里希·奥托 三 朱迪亚·珀尔 三 泽维尔·佩内克 三 科林·里巴 三 博多·罗森哈恩 …还有914位作者 全部的 前5名151篇连载文章中引用 95 理论计算机科学 48 人工智能 38 数学与人工智能年鉴 34 自动推理杂志 26 离散应用数学 24 信息处理信件 24 信息与计算 19 符号计算杂志 16 计算机与系统科学杂志 11 纯逻辑与应用逻辑年鉴 11 数学成像与视觉杂志 8 计算机科学中的逻辑方法 6 应用非经典逻辑杂志 6 应用Clifford代数的进展 5 计算机科学与技术杂志 5 MSCS公司。计算机科学中的数学结构 5 逻辑程序设计理论与实践 5 ACM计算逻辑事务 4 RAIRO公司。Informatique Théorique et Applications公司 4 数学逻辑档案 三 模糊集与系统 三 新一代计算 三 离散和计算几何 三 国际近似推理杂志 三 计算的形式方面 三 国际计算机科学基础杂志 三 线性代数及应用 三 SIAM优化杂志 三 系统设计中的形式化方法 三 国际计算机视觉杂志 三 函数编程杂志 三 计算数学进展 三 高能物理杂志 三 科学中国。信息科学 2 信息学报 2 计算 2 信息科学 2 计算与应用数学杂志 2 符号逻辑杂志 2 数学系统理论 2 美国数学学会回忆录 2 圣母院形式逻辑杂志 2 合成 2 欧洲组合数学杂志 2 运营研究信件 2 随机结构与算法 2 计算几何 2 几何分析杂志 2 数学编程。A系列B系列 2 工程、通信和计算中的应用代数 2 符号逻辑公报 2 Nexus网络杂志 2 计算数学基础 2 应用逻辑杂志 2 泛逻辑 2 符号逻辑述评 2 几何力学杂志 1 机械学报 1 美国数学月刊 1 生物控制论 1 数学物理中的通信 1 计算物理杂志 1 数学物理杂志 1 应用科学中的数学方法 1 非线性 1 《物理快报》。B类 1 斯堪的纳维亚统计杂志 1 数学物理评论 1 数学信使 1 Automatica公司 1 代数杂志 1 组合理论杂志。B系列 1 经济理论杂志 1 数学心理学杂志 1 最优化理论与应用杂志 1 纯粹与应用代数杂志 1 苏联数学杂志 1 麦加尼卡 1 Monatsheft für Mathematik 1 编程和计算机软件 1 应用数学季刊 1 数学成绩 1 SIAM计算机杂志 1 SIAM控制与优化杂志 1 SIAM数值分析期刊 1 应用数学进展 1 遍历理论和动力系统 1 系统和控制信件 1 统计与概率信件 1 逻辑历史与哲学 1 数学应用学报 1 物理D 1 订单 1 国际智能系统杂志 1 计算力学 1 数学和计算机建模 1 SIAM矩阵分析与应用杂志 1 中国科学。系列A 1 应用概率年鉴 1 微分几何及其应用 …和另外51个系列 全部的 前5名53个领域被引用 535 计算机科学(68至XX) 257 数学逻辑和基础(03-XX) 28 组合数学(05-XX) 28 运筹学、数学规划(90-XX) 27 阶、格、有序代数结构(06-XX) 27 线性代数和多线性代数;矩阵理论(15-XX) 26 差速器几何结构(53至XX) 24 数值分析(65-XX) 15 范畴理论;同调代数(18-XX) 13 一般代数系统(08-XX) 13 信息与通信理论、电路(94-XX) 12 概率论与随机过程(60-XX) 10 粒子和系统力学(70-XX) 10 系统论;控制(93至XX) 8 代数几何(14-XX) 8 凸和离散几何(52至XX) 8 整体分析,流形分析(58至XX) 8 量子理论(81-XX) 7 统计学(62-XX) 7 生物学和其他自然科学(92-XX) 6 拓扑群、李群(22日至XX日) 6 偏微分方程(35-XX) 5 交换代数(13-XX) 5 动力系统和遍历理论(37至XX) 5 变分法与最优控制;最优化(49-XX) 5 几何图形(51至XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 一般性和全局性主题;集合(00-XX) 4 数论(11-XX) 4 群论与推广(20-XX) 4 算子理论(47-XX) 4 代数拓扑(55-XX) 4 流形和细胞复合体(57至XX) 4 可变形固体力学(74-XX) 三 结合环与代数(16-XX) 三 功能分析(46倍X倍) 三 数学教育(97-XX) 2 历史和传记(01-XX) 2 场论和多项式(12-XX) 2 非结合环与代数(17-XX) 2 几个复变量和分析空间(32-XX) 2 近似值和展开值(41至XX) 2 一般拓扑结构(54至XX) 2 统计力学,物质结构(82-XX) 1 复变量的函数(30年XX月) 1 特殊功能(33至XX) 1 常微分方程(34-XX) 1 欧氏空间的调和分析(42至XX) 1 抽象谐波分析(43至XX) 1 流体力学(76-XX) 1 光学、电磁理论(78-XX) 1 经典热力学,传热(80-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文