编辑配置文件（在新选项卡中打开） 大卫·格里斯 合著者距离 作者ID： 灰色.david 发布日期： 大卫·格里斯 已编制索引的文档： 71出版物自1965年以来，包括10本书 3作为编辑的贡献·1进一步贡献 合著者： 32位合著者具有36份联合出版物 431位联合作者 全部的 前5名合著者 31 单作者的 5 苏珊·奥维基。 5 弗雷德·施耐德。 4 贾亚德夫·米斯拉 三 理查德·康韦（Richard W.Conway）。 三 加里·马克·莱文 2 罗伯特·李，警察 2 艾伦·德默斯。 2 约瑟夫·斯托尔 2 薛、缙云 1 埃里克·亚伦 1 塞利姆·G·阿克尔。 1 阿尔姆斯特鲁姆，维姬·L。 1 巴斯，查理 1 史蒂文·布朗。 1 L.I.德姆琴科。 1 迈克尔·P·菲。 1 W.H.J.费扬。 1 杰罗姆·费尔德曼。 1 Gehani，Narain H。 1 冈查洛娃，L.I。 1 保罗·格里斯 1 院长雅各布斯 1 科瓦尔，V.I。 1 胡安·拉富恩特（Juan M.Lafuente）。 1 拉夫罗夫、斯维亚托斯拉夫·谢尔盖维奇 1 阿兰·马丁。 1 新泽西州玛丽亚什金。 1 罗伯特·C·梅尔维尔。 1 V·潘凯维奇。 1 阿德里亚诺·帕斯科莱蒂 1 普林斯，Jan F。 1 Y.I.普鲁克登。 1 T.V.拉曼。 1 爱德华·马丁·莱因戈尔德 1 路易吉·斯布里兹 1 理查德·施利钦（Richard D.Schlichting）。 1 西蒙特，S.L。 1 斯莫罗丁，A.I。 1 Stanevichnos，A.I.A。 1 伊万·斯托伊梅诺维奇 1 托马斯·G·西曼斯基（Thomas G.Szymanski）。 1 B.G.塔姆。 1 扬·蒂杰曼（Jan Tijmen Udding） 1 肯尼思·J·乌尔班。 1 van de Snepscheut，Jan L.A.（范德斯涅普谢特，简·L·A）。 1 范·加斯特伦（Antonetta Johanna Maria） 1 汉斯·维勒（Hans R.Wiehle）。 1 大卫·B·沃特曼。 全部的 前5名系列 10 信息处理信函 7 ACM的通信 6 计算机程序设计科学 5 信息学报 三 IEEE软件工程汇刊 2 SIAM计算机杂志 2 程序设计语言与系统学报 1 美国数学月刊 1 比特币 1 Kibernetischeskiĭ斯博尼克。诺瓦亚·塞里亚 1 数值数学 1 SIAM数值分析杂志 1 数学和计算机建模 1 逻辑与计算杂志 1 IBM研究与开发杂志 1 分布式计算 全部的 前5名领域 65 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 5 一般性和全局性主题；集合（00-XX） 4 组合数学（05-XX） 三 数论（11-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 数值分析（65-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 57出版物有被引用738中的次638文件 引用人▼ 年份▼ 编程科学。 Zbl 0472.68003号 大卫·格里斯 135 1981 并行程序的公理证明技术。 Zbl 0312.68011号 苏珊·奥维基;大卫·格里斯 120 1976 验证并行程序的属性：公理方法。 Zbl 0322.68010号 苏珊·奥维基;大卫·格里斯 51 1976 数字计算机的编译器构造。 Zbl 0302.68011号 大卫·格里斯 47 1971 查找重复的元素。 Zbl 0497.68041号 J·米斯拉。;大卫·格里斯 46 1982 离散数学的逻辑方法。 Zbl 0861.03001号 大卫·格里斯;弗雷德·施耐德。 38 1993 维辛定理的构造性证明。 Zbl 0795.68157号 J·米斯拉。;大卫·格里斯 32 1992 描述Hopcroft的算法。 Zbl 0242.94042号 大卫·格里斯 27 1973 关于程序图式的类。 Zbl 0247.68031号 罗伯特·康斯特布尔。;大卫·格里斯 21 1972 通信顺序进程的一种证明技术。 Zbl 0463.68034号 加里·马克·莱文;大卫·格里斯 18 1981 某些类别规范的特征。 Zbl 0164.17603号 大卫·格里斯 17 1967 计算对数时间中的斐波那契数（以及类似定义的函数）。 Zbl 0452.68052号 大卫·格里斯;加里·莱文 16 1980 美丽是我们的事业。向Edsger W.Dijkstra致敬。 Zbl 0718.68004号 14 1990 一般正确性：部分正确性和全部正确性的统一。 Zbl 0559.68021号 院长雅各布斯;大卫·格里斯 12 1985 关于高级语言中数据类型的一些想法。 Zbl 0358.68045号 大卫·格里斯;纳兰·盖哈尼 11 1977 分配和过程调用证明规则。 Zbl 0468.68006号 大卫·格里斯;加里·莱文 11 1980 关于开发循环不变量和循环的标准策略的注释。 Zbl 0516.68008号 大卫·格里斯 10 1982 带有下推存储的程序方案。 Zbl 0278.68068号 布朗，史蒂文;大卫·格里斯;托马斯·西曼斯基 10 1972 编程科学。（第4次印刷）。 Zbl 0614.68002号 大卫·格里斯 8 1987 并行程序的公理证明技术。 Zbl 0395.68015号 苏珊·奥维基;大卫·格里斯 8 1978 翻译写作系统。 Zbl 0162.48403号 杰罗姆·费尔德曼;大卫·格里斯 8 1968 等式命题逻辑。 Zbl 0875.03034号 大卫·格里斯;弗雷德·施耐德。 7 1995 过程网络的模型和时间证明系统。 Zbl 0598.68025号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 6 1986 一种用于寻找素数的线性筛选算法。 Zbl 0387.68030号 大卫·格里斯;贾亚德夫·米斯拉 5 1978 生成组合的最佳并行算法。 Zbl 0689.68043号 塞利姆·G·阿克尔。;大卫·格里斯;伊万·斯托杰梅诺维奇 5 1989 矩阵值域的一些结果。 Zbl 0158.03503号 D.格里斯。;J.斯托尔。 5 1967 证明并行程序正确性的练习。 Zbl 0364.68007号 大卫·格里斯 4 1977 行为：过程建模的时间方法。 Zbl 0606.68022号 范·阮;德默斯，艾伦;大卫·格里斯;苏珊·奥维基 4 1985 生成随机循环置换。 Zbl 0656.68076号 大卫·格里斯;薛、缙云 4 1988 Schorr-Waite图标记算法。 兹伯利0414.68015 大卫·格里斯 4 1979 重温K-M-P字符串匹配。 Zbl 1339.68338号 爱德华·莱因戈尔德（Edward M.Reingold）。;肯尼思·J·乌尔班。;大卫·格里斯 三 1997 容错广播。 Zbl 0534.68019号 弗雷德·施耐德。;大卫·格里斯;理查德·施利钦（Richard D.Schlichting）。 三 1984 多重赋值语句。 Zbl 0381.68017号 大卫·格里斯 三 1978 编程方法。IFIP WG2.3成员的文章集。 Zbl 0392.00013号 三 1978 开发一种用于立方循环置换的线性算法。 Zbl 0678.68024号 薛、缙云;大卫·格里斯 2 1988 非循环图的传递约简算法。 Zbl 0678.68061号 大卫·格里斯;阿兰·马丁。;van de Snepscheut，Jan L.A。;扬·蒂杰曼（Jan Tijmen Udding） 2 1989 有时比以往更好吗？ Zbl 0452.68012号 大卫·格里斯 2 1979 关于程序图式类。 Zbl 0408.68019号 罗伯特·康斯特布尔。;大卫·格里斯 2 1977 控制密度分拣。 Zbl 0444.68050号 罗伯特·梅尔维尔;大卫·格里斯 2 1980 将处处运算符添加到命题逻辑中。 Zbl 0906.03015号 大卫·格里斯;弗雷德·施耐德。 2 1998 归纳法编程。 Zbl 0227.68006号 大卫·格里斯 2 1972 更正为“关于推导正确性证明和正确程序的当前想法的说明”。 兹比尔0358.68032 大卫·格里斯 1 1977 证明并行程序正确性的练习。 Zbl 0361.68014号 大卫·格里斯 1 1976 多重赋值语句。 Zbl 0399.68013号 大卫·格里斯 1 1979 有时比总是好吗？ Zbl 0399.68019号 大卫·格里斯 1 1979 基本公理化定义。 Zbl 0401.68001号 大卫·格里斯 1 1979 编程科学。（Nauka programmirovaniya）。Transl.公司。来自英国。 Zbl 0591.68002号 大卫·格里斯 1 1984 编程入门。使用PL/I和PL/C的结构化方法。第3版。 Zbl 0512.68004号 理查德·康韦;大卫·格里斯 1 1979 关于正确性证明和正确程序推导的当前想法的说明。 Zbl 0351.68006号 大卫·格里斯 1 1976 通过计算证明，更有效地教授数学。 Zbl 0875.00012号 大卫·格里斯;弗雷德·施耐德。 1 1995 Schorr-Waite图标记算法。 Zbl 0414.68016号 大卫·格里斯 1 1979 计算逻辑基础。 Zbl 0929.03037号 大卫·格里斯 1 1997 并行编程。 Zbl 0387.68019号 大卫·格里斯 1 1978 迈凯轮的杰作。 Zbl 0649.68031号 D.格里斯。;普林斯，J.F。 1 1987 当前编程方法的想法。 Zbl 0457.68009号 大卫·格里斯 1 1979 ALCOR ILLINOIS 7090中使用的一些技术。 Zbl 0141.14403号 D.格里斯。;M·保罗。;维勒，H.R。 1 1965 文件不仅仅意味着纸张！ 兹伯利0894.68168 T.V.拉曼。;D.格里斯。 1 1997 将处处运算符添加到命题逻辑中。 Zbl 0906.03015号 大卫·格里斯;弗雷德·施耐德。 2 1998 重新进行K-M-P字符串匹配。 Zbl 1339.68338号 爱德华·莱因戈尔德（Edward M.Reingold）。;肯尼思·J·乌尔班。;大卫·格里斯 三 1997 计算逻辑基础。 兹比尔0929.03037 大卫·格里斯 1 1997 文件不仅仅意味着纸张！ Zbl 0894.68168号 T.V.拉曼。;D.格里斯。 1 1997 等式命题逻辑。 Zbl 0875.03034号 大卫·格里斯;弗雷德·施耐德。 7 1995 通过计算证明，更有效地教授数学。 Zbl 0875.00012号 大卫·格里斯;弗雷德·施耐德。 1 1995 离散数学的逻辑方法。 Zbl 0861.03001号 大卫·格里斯;弗雷德·施耐德。 38 1993 维辛定理的构造性证明。 Zbl 0795.68157号 J·米斯拉。;大卫·格里斯 32 1992 美丽是我们的事业。向Edsger W.Dijkstra致敬。 Zbl 0718.68004号 14 1990 生成组合的最佳并行算法。 Zbl 0689.68043号 塞利姆·G·阿克尔。;大卫·格里斯;伊万·斯托杰梅诺维奇 5 1989 非循环图的传递约简算法。 Zbl 0678.68061号 大卫·格里斯;阿兰·马丁。;van de Snepscheut，Jan L.A。;扬·蒂杰曼（Jan Tijmen Udding） 2 1989 生成随机循环置换。 Zbl 0656.68076号 大卫·格里斯;薛、缙云 4 1988 开发一种用于立方循环置换的线性算法。 兹比尔0678.68024 薛、缙云;大卫·格里斯 2 1988 编程科学。（第4次印刷）。 Zbl 0614.68002号 大卫·格里斯 8 1987 迈凯轮的杰作。 Zbl 0649.68031号 D.格里斯。;普林斯，J.F。 1 1987 过程网络的模型和时间证明系统。 Zbl 0598.68025号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 6 1986 一般正确性：部分正确性和全部正确性的统一。 Zbl 0559.68021号 院长雅各布斯;大卫·格里斯 12 1985 行为：过程建模的时间方法。 Zbl 0606.68022号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 4 1985 容错广播。 Zbl 0534.68019号 弗雷德·施耐德。;大卫·格里斯;理查德·施利钦（Richard D.Schlichting）。 三 1984 编程科学。（Nauka programmirovaniya）。Transl.公司。来自英国。 Zbl 0591.68002号 大卫·格里斯 1 1984 查找重复的元素。 Zbl 0497.68041号 J·米斯拉。;大卫·格里斯 46 1982 关于开发循环不变量和循环的标准策略的注释。 Zbl 0516.68008号 大卫·格里斯 10 1982 编程科学。 Zbl 0472.68003号 大卫·格里斯 135 1981 通信顺序进程的一种证明技术。 Zbl 0463.68034号 加里·马克·莱文;大卫·格里斯 18 1981 计算对数时间中的斐波那契数（以及类似定义的函数）。 Zbl 0452.68052号 大卫·格里斯;加里·莱文 16 1980 分配和过程调用证明规则。 兹比尔0468.68006 大卫·格里斯;加里·莱文 11 1980 控制密度分拣。 Zbl 0444.68050号 罗伯特·梅尔维尔;大卫·格里斯 2 1980 Schorr-Waite图标记算法。 Zbl 0414.68015号 大卫·格里斯 4 1979 有时比以往更好吗？ Zbl 0452.68012号 大卫·格里斯 2 1979 多重赋值语句。 兹伯利0396.8013 大卫·格里斯 1 1979 有时比以往更好吗？ Zbl 0399.68019号 大卫·格里斯 1 1979 基本公理化定义。 Zbl 0401.68001号 大卫·格里斯 1 1979 编程入门。使用PL/I和PL/C的结构化方法。第3版。 Zbl 0512.68004号 理查德·康韦;大卫·格里斯 1 1979 Schorr-Waite图标记算法。 Zbl 0414.68016号 大卫·格里斯 1 1979 当前编程方法的想法。 Zbl 0457.68009号 大卫·格里斯 1 1979 并行程序的公理证明技术。 Zbl 0395.68015号 苏珊·奥维基;大卫·格里斯 8 1978 一种用于寻找素数的线性筛选算法。 Zbl 0387.68030号 大卫·格里斯;贾亚德夫·米斯拉 5 1978 多重赋值语句。 Zbl 0381.68017号 大卫·格里斯 三 1978 编程方法。IFIP WG2.3成员的文章集。 Zbl 0392.00013号 三 1978 并行编程。 Zbl 0387.68019号 大卫·格里斯 1 1978 关于高级语言中数据类型的一些想法。 Zbl 0358.68045号 大卫·格里斯;纳兰·盖哈尼 11 1977 证明并行程序正确性的练习。 Zbl 0364.68007号 大卫·格里斯 4 1977 关于程序图式的类。 Zbl 0408.68019号 罗伯特·康斯特布尔。;大卫·格里斯 2 1977 更正为“关于推导正确性证明和正确程序的当前想法的说明”。 兹比尔0358.68032 大卫·格里斯 1 1977 并行程序的公理证明技术。 Zbl 0312.68011号 苏珊·奥维基;大卫·格里斯 120 1976 验证并行程序的属性：公理方法。 Zbl 0322.68010号 苏珊·奥维基;大卫·格里斯 51 1976 证明并行程序正确性的练习。 Zbl 0361.68014号 大卫·格里斯 1 1976 关于正确性证明和正确程序推导的当前思想的说明。 Zbl 0351.68006号 大卫·格里斯 1 1976 描述Hopcroft的算法。 Zbl 0242.94042号 大卫·格里斯 27 1973 关于程序图式的类。 兹比尔0247.68031 罗伯特·康斯特布尔。;大卫·格里斯 21 1972 带有下推存储的程序方案。 Zbl 0278.68068号 史蒂文·布朗;大卫·格里斯;托马斯·西曼斯基 10 1972 归纳法编程。 Zbl 0227.68006号 大卫·格里斯 2 1972 数字计算机的编译器构造。 Zbl 0302.68011号 大卫·格里斯 47 1971 翻译写作系统。 Zbl 0162.48403号 杰罗姆·费尔德曼;大卫·格里斯 8 1968 某些类别规范的特征。 Zbl 0164.17603号 大卫·格里斯 17 1967 矩阵值域的一些结果。 Zbl 0158.03503号 D.格里斯。;J.斯托尔。 5 1967 ALCOR ILLINOIS 7090中使用的一些技术。 Zbl 0141.14403号 D.格里斯。;M·保罗。;维勒，H.R。 1 1965 所有引用出版物 前5名被引用出版物 全部的 前5名988位作者引用 17 维姆·赫塞林克。 11 阿里·米利 10 大卫·格里斯 8 德波尔（Frank S。 7 尔明成 6 鲁道夫·伯哈默 6 布里杰什·多戈尔 5 回来了，拉尔夫·约翰 5 罗伯特·J·科尔文。 5 约翰·多夫兰 5 沃尔特·古特曼 5 他，孟 5 埃纳尔·布罗赫·约翰森 5 卢茨·施罗德 4 罗兰·贝克豪斯（Roland C.Backhouse）。 4 Jan A.Bergstra。 4 亚历克斯·比伊斯玛 4 斯蒂芬·布鲁克斯。 4 威廉·鲍尔·德·罗弗 4 朱尔斯·德沙奈斯 4 尼西姆·弗朗西兹 4 崔维斯·盖吉 4 伊恩·海耶斯。 4 阿萨夫·科福里。 4 鲍里斯·拉夫里奇 4 Leino，K.Rustan M。 4 斯特凡·米利厄斯 4 J.Ian Munro 4 冈萨洛·纳瓦罗 4 奥尔德罗格（Ernst-Rüdiger Olderog） 4 Owe、Olaf 4 马丁·斯特芬 4 伊恩·斯图尔特（Iain A.Stewart）。 4 伊万·斯托伊梅诺维奇 4 斯里坎塔·蒂尔塔普拉 4 海克，韦尔海姆 4 托尔斯滕·维曼 4 伍德拉夫（David P.Woodruff）。 4 薛锦云 三 沃尔夫冈·阿伦特 三 公寓，Krzysztof Rafal 三 雷蒙德·鲍特（Raymond T.Boute）。 三 马西莫·卡法罗 三 雅克·科恩 三 罗伯特·李，警察 三 西蒙·多尔蒂 三 R.Geoff，Dromey 三 段振华 三 加尔达洛，Wided 三 阿里·古芬克尔 三 马克·赫尔穆特 三 C.A.R.Tony Hoare 三 拉米亚·拉比德·吉拉尼 三 比布德·拉希里 三 丹尼尔·莱万特（Daniel M.Leivant）。 三 阿斯玛·卢希奇 三 罗宾·米尔纳 三 Joseph M.莫里斯。 三 奥尔法·姆拉伊 三 彼得·米勒 三 Kedar S.Namjoshi。 三 瓦莱里·A·内波米纳西。 三 杰夫·菲利普斯（Jeff M.Phillips）。 三 阿尔班·蓬塞 三 马可·普利梅诺 三 伊娜·谢弗 三 Rudrapatna Kallikote Shyamasundar 三 内拉姆·桑达拉扬 三 乌日琴，Paweł 三 横山，铁雄 三 张，秦 2 谢尔·亚哈龙 2 Jos C.M.Baeten。 2 让·伯斯特尔 2 阿尔夫斯·贝兹蒂斯 2 吕克·博阿松 2 努里丁·布德里加A。 2 克里斯·布林克 2 哈立德·比萨耶斯 2 大卫·卡切拉 2 奥利维尔卡顿 2 朱西·卡斯蒂格利奥内 2 萨加·查基 2 Jean-Philippe，Chancelier先生 2 乔达里，Dipak L。 2 里卡多·科尔代罗（Ricardo Cordeiro Corría） 2 帕特里克·库索特 2 佩德罗·达罗查·平托 2 萨迪·达尔瓦迪 2 Om P.达马尼。 2 塞琳娜·埃雷拉（Celina M.Herrera） 2 米歇尔·德·拉腊 2 卡洛斯·何塞·佩雷拉·德·卢塞纳 2 纳鸿·德肖维茨 2 托马斯·丁斯代尔·扬 2 乌尔里希·多尔希 2 马丁·迪巴 2 康斯坦丁·埃纳 2 伊塔洛·埃皮科科 2 巴勃罗·法里亚斯。 …还有888位作者 全部的 前5名117篇连载文章被引用 79 理论计算机科学 65 信息处理信函 47 计算的形式方面 40 信息学报 19 软件。实践与经验 13 计算机与系统科学杂志 13 分布式计算 11 程序设计中的逻辑和代数方法杂志 10 信息与计算 10 系统设计中的形式化方法 9 信息科学 8 计算机程序设计科学 8 线性代数及应用 7 计算 7 逻辑与代数程序设计杂志 6 控制论 6 信息与优化科学杂志 5 比特币 5 国际计算机与信息科学杂志 5 符号计算杂志 5 控制论与系统分析 5 比特。Nordisk Tidskrift信息处理 5 计算机科学中的逻辑方法 4 计算机与数学及其应用 4 离散应用数学 4 组合理论杂志。B系列 4 苏联数学杂志 4 计算机科学与技术杂志 4 算法 4 自动推理杂志 4 MSCS公司。计算机科学中的数学结构 4 函数编程杂志 三 应用力学与工程中的计算机方法 三 代数普遍性 三 国际并行程序设计杂志 三 并行与分布式计算杂志 三 国际计算机数学杂志 三 应用非经典逻辑杂志 三 数学与人工智能年鉴 三 Sādhanā 三 ACM计算逻辑事务 2 离散数学 2 线性代数和多线性代数 2 模糊集与系统 2 数学系统理论 2 SIAM计算机杂志 2 Studia Logica公司 2 纯逻辑与应用逻辑年鉴 2 欧洲运筹学杂志 2 计算系统理论 2 组合优化期刊 2 数据挖掘与知识发现 2 离散数学科学与密码学杂志 2 计算机基础理论 2 机器学习研究杂志（JMLR） 2 离散算法杂志 2 国际并行、紧急和分布式系统杂志 2 算法 2 计算机科学评论 1 倒排索引综述 1 人工智能 1 计算机物理通信 1 纯粹数学与应用数学交流 1 国际控制杂志 1 国际科学与技术数学教育杂志 1 国际系统科学杂志 1 数学生物学杂志 1 数学笔记 1 匈牙利数学周期 1 ACM数据库系统事务 1 数学信使 1 应用数学与计算 1 组合理论杂志。系列A 1 计算与应用数学杂志 1 经济理论杂志 1 图论杂志 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 凯伯内特斯 1 凯贝内提卡 1 数值数学 1 编程和计算机软件 1 京都大学数学科学研究所出版物 1 逻辑科公报 1 组合数学 1 计算机与运筹学 1 科学计算杂志 1 运筹学年鉴 1 随机结构与算法 1 计算几何 1 国际计算机科学基础杂志 1 SIAM审查 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程软件进展 1 计算与应用数学 1 凸分析杂志 1 可靠的计算 1 并行算法与应用 1 国际计算流体动力学杂志 1 积极性 …还有17部连续剧 全部的 前5名36个领域引用 569 计算机科学（68至XX） 98 数学逻辑和基础（03-XX） 32 组合数学（05-XX） 18 数值分析（65-XX） 17 数论（11-XX） 14 线性代数和多线性代数；矩阵理论（15-XX） 10 运筹学、数学规划（90-XX） 9 信息与通信理论、电路（94-XX） 7 阶、格、有序代数结构（06-XX） 6 数学教育（97-XX） 5 统计学（62-XX） 4 一般代数系统（08-XX） 4 概率论与随机过程（60-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 一般性和全局性主题；集合（00-XX） 三 范畴理论；同调代数（18-XX） 三 序列、级数、可和性（40-XX） 三 功能分析（46倍X倍） 三 凸和离散几何（52至XX） 三 生物学和其他自然科学（92-XX） 2 历史和传记（01-XX） 2 结合环与代数（16-XX） 2 实际功能（26年X月X日） 2 复变量的函数（30年XX月） 2 偏微分方程（35-XX） 2 变分法与最优控制；最优化（49至XX） 2 系统论；控制（93至XX） 1 场论和多项式（12-XX） 1 群论与推广（20-XX） 1 特殊功能（33至XX） 1 差分和函数方程（39至XX） 1 一般拓扑结构（54至XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 按年份列出的引文