编辑配置文件（在新选项卡中打开） 查克拉波蒂，苏普拉特克 合著者距离 作者ID： 查克拉波蒂苏布拉提克 发布日期： 查克拉波蒂，苏普拉特克 主页： 网址：https://www.cse.iitb.ac.in/~上提克/ 外部链接： MGP公司·ORCID公司 已编制索引的文档： 57出版物自1995年以来，包括1个附加arXiv预打印 1名编辑贡献 合著者： 47位合著者具有31联合出版物 820位合作作者 全部的 前5名合著者 4 单作者的 5 阿克西，S。 4 阿什图什·古普塔 4 John，Ajith K。 三 巴拉特·阿德苏尔 三 阿图尔·库马尔·博卡卡蒂 三 巴加夫·古拉瓦尼。 三 诺丽，阿迪亚·维塔尔 三 阿比塞克·桑卡拉 三 谢塔尔·沙阿 三 迪夫耶什·乌纳德卡特 2 帕比特拉·帕尔·乔杜里 2 巴巴尼·尚卡尔·丹达巴特 2 舒巴姆·戈尔 2 赫里西凯什·卡马尔卡 2 苏米思·库拉尔 2 帕里托什·K·潘迪亚。 2 Sriram K.拉贾马尼。 1 巴里克，B.P。 1 巴蒂亚查里亚，S。 1 林恩·比拉德 1 曹贤兵 1 乔杜里，帕里马尔·帕尔 1 查塔尼·迪内什 1 罗伊·乔杜里，迪潘维塔 1 达斯，安库什 1 达亚南达，P.W.A。 1 大卫·L·迪尔。 1 杰夫·埃德蒙兹（Jeff A.Edmonds）。 1 油炸，Dror 1 拉杰库马尔·加贾维利 1 马哈德万·加纳帕蒂 1 坦马·霍丹卡尔 1 维沙尔·贾加纳特 1 拉胡尔·贾恩 1 马纳斯·R·约格勒卡尔。 1 苏迪普·尤文卡 1 普里蒂什·卡马特 1 瓦伦·卡纳德 1 苏拉布·O·卡西达什维利。 1 维韦克·马丹 1 Kuldeep S.梅尔。 1 乔伊斯·梅基 1 拉凯什·米斯特里 1 马达瓦恩·穆昆德 1 桑达拉扬·纳塔拉扬 1 迪塔努，帕尔 1 拉吉·P·莫汉 1 甘尼桑拉马林加姆 1 克里斯蒂安·鲁耶·奎尔 1 塞·桑迪普 1 Carl-Johan H.塞格。 1 沙尔玛，巴比塔 1 迪内什·库马尔·夏尔马 1 R·斯里普利亚。 1 卢卡斯·塔巴哈拉。 1 安库尔·塔利 1 桑加维尔，M。 1 蒂娜·托马斯 1 莫西·亚亚科夫·瓦尔迪 1 杨炯 1 Yun，Kenneth Y。 全部的 前5名系列 5 系统设计中的形式化方法 2 力学档案 2 国际传热传质杂志 2 应用数学快报 2 理论与应用力学 1 计算机和结构 1 信息处理信件 1 流体力学杂志 1 生物识别 1 加尔各答数学学会公报 1 镓ṇita公司 1 电气电子工程师学会计算机期刊 1 纯逻辑与应用逻辑年鉴 1 伊朗数学学会公报 1 计算数学与建模 1 统计传播。理论与方法 1 国际热流数值方法杂志 1 应用力学与工程 1 欧洲力学杂志。A.固体 1 萨达纳 1 加尔各答数学学会杂志 1 科学与工程中的反问题 1 计算机科学课堂讲稿 1 国际结构稳定性与动力学杂志 1 国际应用数学与力学进展杂志 1 国际应用与计算数学杂志 全部的 前5名领域 32 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 8 可变形固体力学（74-XX） 8 流体力学（76-XX） 4 经典热力学，传热（80-XX） 三 数值分析（65-XX） 2 统计学（62-XX） 2 光学、电磁理论（78-XX） 2 地球物理学（86-XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用67中的次57文件 引用人▼ 年份▼ 幂律薄膜流的波动状态。 Zbl 1250.76073号 Ruyer-Quil，C。;南卡罗来纳州查克拉波蒂。;丹达帕特，B.S。 15 2012 自动精炼抽象解释。 Zbl 1134.68356号 巴加夫·古拉瓦尼。;查克拉波蒂，苏普拉特克;阿迪蒂亚·诺里。;Sriram K.拉贾马尼。 12 2008 算法复杂性的统计分析。 Zbl 0965.68139号 南卡罗来纳州查克拉波蒂。;乔杜里，P.P。 8 2000 自下而上的形状分析。 Zbl 1248.68145号 巴加夫·古拉瓦尼。;查克拉波蒂，苏普拉特克;甘尼桑拉马林加姆;阿迪蒂亚·诺里。 6 2009 非群元胞自动机的理论和应用，用于合成易于测试的有限状态机。 Zbl 1055.68549号 查克拉波蒂，苏普拉特克;乔杜里，迪潘维塔·罗伊;帕里马尔·乔杜里 6 1996 采用单位分解法对具有内部不连续性的功能梯度材料板的屈曲进行参数研究。 Zbl 1406.74256号 桑达拉扬·纳塔拉扬;南卡罗来纳州查克拉波蒂。;M.加纳帕蒂。;Subramanian，M。 6 2014 二元混合物非平衡凝固过程中的三维双扩散对流和宏观偏析。 Zbl 1032.76681号 南卡罗来纳州查克拉波蒂。;P.杜塔。 5 2003 非中心负二项分布、Charlier级数分布的推广及其拉格朗日展开的推广。 Zbl 1242.60015号 Ong，S.H。;南卡罗来纳州查克拉波蒂。;Imoto，T。;清水县。 4 2012 具有层次特殊弧的Petri网。 Zbl 1442.68122号 阿克西，S。;查克拉波蒂，苏普拉特克;达斯，安库什;维沙尔·贾加纳特;塞·桑迪普 4 2017 走向并行布尔函数综合。 Zbl 1452.68112号 阿克西，S。;查克拉波蒂，苏普拉特克;John，Ajith K。;谢塔尔·沙阿 4 2017 布尔函数综合有什么困难？ Zbl 1511.68146号 阿克西，S。;查克拉波蒂，苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿 4 2018 关于Jordan半素环的广义（k）-导子。 Zbl 1226.16035号 南卡罗来纳州查克拉波蒂。;A.C.保罗。 三 2010 通过平铺验证数组操作程序。 Zbl 1420.68066号 查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 三 2017 间隔持续时间逻辑的有界有效性检查。 Zbl 1087.68061号 沙尔玛，巴比塔;帕里托什·潘迪亚。英国。;查克拉波蒂，苏普拉特克 三 2005 可变流体特性对非线性拉伸薄板上非定常薄膜流动的影响。 Zbl 1201.80015号 丹达帕特，B.S。;南卡罗来纳州查克拉波蒂。 三 2010 一种用于从线性模块约束中消除量词的分层算法。 Zbl 1368.68332号 John，Ajith K。;查克拉波蒂，苏普拉特克 三 2016 用全程序归纳法验证数组操作程序。 Zbl 1507.68082号 查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 三 2020 关于Büchi互补的最小奇数排名。 兹比尔1258.68085 赫里西凯什·卡马尔卡;查克拉波蒂，苏普拉特克 2 2009 统计能为算法的复杂性提供一个现实的度量吗？ Zbl 0941.68588号 南卡罗来纳州查克拉波蒂。;乔杜里，P.P。 2 1999 事件近似时间分离的高效算法。 Zbl 1018.68098号 查克拉波蒂，苏普拉特克;大卫·L·迪尔。;Yun，Kenneth Y。 2 2002 位向量公式中的匹配乘法。 兹比尔1484.68098 查克拉波蒂，苏普拉特克;阿什图什·古普塔;拉胡尔·贾恩 2 2017 单词级验证的符号轨迹评估：理论与实现。 兹比尔1360.68582 查克拉波蒂，苏普拉特克;苏拉布·卡西达什维利;Carl-Johan H.塞格。;拉杰库马尔·加贾维利;坦马·霍丹卡尔;查塔尼·迪内什;拉凯什·米斯特里 2 2017 用于大挠度分析的任意形状拱单元。 Zbl 0918.73241号 南卡罗来纳州查克拉波蒂。;马朱姆达尔，S。 2 1997 HPV对宫颈癌的作用及几种功能反应：一项基于对照的比较研究。 Zbl 1435.92027 南卡罗来纳州查克拉波蒂。;曹贤兵;巴蒂亚查里亚，S。;罗伊，P.K。 2 2019 用于验证和分析的自动化技术。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。 Zbl 1251.68006号 1 2012 将量词消除推广到位向量上的线性不等式。 Zbl 1381.68055号 John，Ajith K。;查克拉波蒂，苏普拉特克 1 2013 通过多目标遗传算法优化水力旋流器中的流体流动。 Zbl 1222.76043号 北卡罗来纳州查克拉博蒂。;谢哈尔，A。;A.辛格尔。;南卡罗来纳州查克拉波蒂。;乔杜里，S。;R·斯里普利亚。 1 2008 使用自动机技术推理堆操作程序。 Zbl 1256.68116号 查克拉波蒂，苏普拉特克 1 2012 改进了Büchi消歧的上下限。 Zbl 1410.68206号 赫里西凯什·卡马尔卡;玛纳斯·乔格勒卡尔;查克拉波蒂，苏普拉特克 1 2013 Łoś-Tarski守恒定理的推广。 Zbl 1353.03019号 阿比塞克·桑卡拉;巴拉特·阿德苏尔;查克拉波蒂，苏普拉特克 1 2016 结构灵敏度分析的随机有限元方法。 Zbl 1058.74634号 巴塔查里亚，B。;南卡罗来纳州查克拉波蒂。 1 2000 随机地面激励下三维弹性动力响应的随机敏感性。 Zbl 1205.86004号 巴塔查里亚，B。;南卡罗来纳州查克拉波蒂。 1 2003 Łoś-Tarski守恒定理在有限结构类上的推广。 Zbl 1426.03024号 阿布谢克·桑卡兰;巴拉特·阿德苏尔;查克拉波蒂，苏普拉特克 1 2014 下部结构下的保护模数有界岩芯。 Zbl 1362.03029号 阿比塞克·桑卡拉;巴拉特·阿德苏尔;维维克·马丹;普里蒂什·卡马特;查克拉波蒂，苏普拉特克 1 2012 精炼抽象解释。 兹比尔12346.8258 巴加夫·古拉瓦尼。;查克拉波蒂，苏普拉特克;阿迪蒂亚·诺里。;Sriram K.拉贾马尼。 1 2010 旋转半空间的广义磁热弹性相互作用。 Zbl 1404.78006号 达斯，B。;南卡罗来纳州查克拉波蒂。;A.拉希里。 1 2018 植物病害流行的速率参数估计及其与潜伏期和感染期的关系。 Zbl 0825.62815号 达亚南达，P.W.A。;比拉德，L。;南卡罗来纳州查克拉波蒂。 1 1995 差异：使用差分不变量对数组程序进行归纳推理。 Zbl 1493.68101号 查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 1 2021 布尔函数综合：硬度和实用算法。 Zbl 1519.68128号 阿克西，S。;查克拉波蒂，苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿 1 2021 通过输入-输出分离进行功能合成。 Zbl 07683088号 查克拉波蒂，苏普拉特克;油炸，Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 1 2022 通过输入-输出分离进行功能合成。 Zbl 07683088号 查克拉波蒂，苏普拉特克;油炸，Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 1 2022 差异：使用差分不变量对数组程序进行归纳推理。 Zbl 1493.68101号 查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 1 2021 布尔函数综合：硬度和实用算法。 Zbl 1519.68128号 阿克西，S。;查克拉波蒂，苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿 1 2021 用全程序归纳法验证数组操作程序。 兹比尔1507.68082 查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 三 2020 HPV对宫颈癌的作用及几种功能反应：一项基于对照的比较研究。 Zbl 1435.92027 南卡罗来纳州查克拉波蒂。;曹贤兵;巴蒂亚查里亚，S。;罗伊，P.K。 2 2019 布尔函数综合有什么困难？ Zbl 1511.68146号 阿克西，S。;查克拉波蒂，苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿 4 2018 旋转半空间的广义磁热弹性相互作用。 兹比尔1404.78006 达斯，B。;南卡罗来纳州查克拉波蒂。;拉希里，A。 1 2018 具有层次特殊弧的Petri网。 Zbl 1442.68122号 阿克西，S。;查克拉波蒂，苏普拉特克;达斯，安库什;维沙尔·贾加纳特;塞·桑迪普 4 2017 走向并行布尔函数综合。 Zbl 1452.68112号 阿克西，S。;查克拉波蒂，苏普拉特克;John，Ajith K。;谢塔尔·沙阿 4 2017 通过平铺验证数组操作程序。 Zbl 1420.68066号 查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特 三 2017 位向量公式中的匹配乘法。 Zbl 1484.68098号 查克拉波蒂，苏普拉特克;阿什图什·古普塔;拉胡尔·贾恩 2 2017 单词级验证的符号轨迹评估：理论与实现。 Zbl 1360.68582号 查克拉波蒂，苏普拉特克;苏拉布·卡西达什维利;Carl-Johan H.塞格。;拉杰库马尔·加贾维利;坦马·霍丹卡尔;查塔尼·迪内什;拉凯什·米斯特里 2 2017 一种用于从线性模块约束中消除量词的分层算法。 Zbl 1368.68332号 John，Ajith K。;查克拉波蒂，苏普拉特克 三 2016 对Łosi-Tarski保持定理的推广。 Zbl 1353.03019号 阿比塞克·桑卡拉;巴拉特·阿德苏尔;查克拉波蒂，苏普拉特克 1 2016 采用单位分解法对具有内部不连续性的功能梯度材料板的屈曲进行参数研究。 Zbl 1406.74256号 桑达拉扬·纳塔拉扬;南卡罗来纳州查克拉波蒂。;M.加纳帕蒂。;Subramanian，M。 6 2014 有限结构类上Łosi-Tarski保持定理的推广。 Zbl 1426.03024号 阿布谢克·桑卡兰;巴拉特·阿德苏尔;查克拉波蒂，苏普拉特克 1 2014 将量词消除推广到位向量上的线性不等式。 Zbl 1381.68055号 John，Ajith K。;查克拉波蒂，苏普拉特克 1 2013 改进了Büchi消歧的上下限。 Zbl 1410.68206号 赫里西凯什·卡马尔卡;玛纳斯·乔格勒卡尔;查克拉波蒂，苏普拉特克 1 2013 幂律薄膜流的波动状态。 Zbl 1250.76073号 Ruyer-Quil，C。;南卡罗来纳州查克拉波蒂。;丹达帕特，B.S。 15 2012 非中心负二项分布、Charlier级数分布的推广及其拉格朗日展开的推广。 兹比尔1242.60015 Ong，S.H。;南卡罗来纳州查克拉波蒂。;T·伊莫托。;清水县。 4 2012 用于验证和分析的自动化技术。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。 Zbl 1251.68006号 1 2012 使用自动机技术推理堆操作程序。 Zbl 1256.68116号 查克拉波蒂，苏普拉特克 1 2012 下部结构下的保护模数有界岩芯。 Zbl 1362.03029号 阿比塞克·桑卡拉;巴拉特·阿德苏尔;维维克·马丹;普里蒂什·卡马特;查克拉波蒂，苏普拉特克 1 2012 关于Jordan半素环的广义（k）-导子。 Zbl 1226.16035号 南卡罗来纳州查克拉波蒂。;A.C.保罗。 三 2010 可变流体特性对非线性拉伸薄板上非定常薄膜流动的影响。 Zbl 1201.80015号 丹达帕特，B.S。;南卡罗来纳州查克拉波蒂。 三 2010 精炼抽象解释。 兹比尔12346.8258 巴加夫·古拉瓦尼。;查克拉波蒂，苏普拉特克;阿迪蒂亚·诺里。;Sriram K.拉贾马尼。 1 2010 自下而上的形状分析。 Zbl 1248.68145号 巴加夫·古拉瓦尼。;查克拉波蒂，苏普拉特克;甘尼桑拉马林加姆;阿迪蒂亚·诺里。 6 2009 关于Büchi互补的最小奇数排名。 Zbl 1258.68085号 赫里西凯什·卡马尔卡;查克拉波蒂，苏普拉特克 2 2009 自动精炼抽象解释。 Zbl 1134.68356号 巴加夫·古拉瓦尼。;查克拉波蒂，苏普拉特克;阿迪蒂亚·诺里。;Sriram K.拉贾马尼。 12 2008 通过多目标遗传算法优化水力旋流器中的流体流动。 Zbl 1222.76043号 北卡罗来纳州查克拉博蒂。;谢哈尔，A。;A.辛格尔。;南卡罗来纳州查克拉波蒂。;乔杜里，S。;R·斯里普利亚。 1 2008 间隔持续时间逻辑的有界有效性检查。 Zbl 1087.68061号 沙尔玛，巴比塔;帕里托什·潘迪亚。英国。;查克拉波蒂，苏普拉特克 三 2005 二元混合物非平衡凝固过程中的三维双扩散对流和宏观偏析。 Zbl 1032.76681号 南卡罗来纳州查克拉波蒂。;P.杜塔。 5 2003 随机地面激励下三维弹性动力响应的随机灵敏度。 Zbl 1205.86004号 巴塔查里亚，B。;南卡罗来纳州查克拉波蒂。 1 2003 事件近似时间分离的高效算法。 Zbl 1018.68098号 查克拉波蒂，苏普拉特克;大卫·L·迪尔。;Yun，Kenneth Y。 2 2002 算法复杂性的统计分析。 Zbl 0965.68139号 南卡罗来纳州查克拉波蒂。;乔杜里，P.P。 8 2000 结构灵敏度分析的随机有限元方法。 Zbl 1058.74634号 巴塔查里亚，B。;南卡罗来纳州查克拉波蒂。 1 2000 统计能为算法的复杂性提供一个现实的度量吗？ Zbl 0941.68588号 南卡罗来纳州查克拉波蒂。;乔杜里，P.P。 2 1999 用于大挠度分析的任意形状拱单元。 Zbl 0918.73241号 南卡罗来纳州查克拉波蒂。;马朱姆达尔，S。 2 1997 非群元胞自动机的理论和应用，用于合成易于测试的有限状态机。 Zbl 1055.68549号 查克拉波蒂，苏普拉特克;迪潘维塔·罗伊·乔杜里;帕里马尔·乔杜里 6 1996 植物病害流行的速率参数估计及其与潜伏期和感染期的关系。 Zbl 0825.62815号 达亚南达，P.W.A。;比拉德，L。;南卡罗来纳州查克拉波蒂。 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名141位作者引用 14 查克拉波蒂，苏普拉特克 5 赵成金 4 Choi，Un-Sook先生 4 Kim、Han-Doo 三 巴加夫·古拉瓦尼。 三 阿什图什·古普塔 三 诺丽，阿迪亚·维塔尔 三 对手，泽维尔 三 莫西·亚亚科夫·瓦尔迪 2 阿克西，S。 2 维杰·迪尔瓦 2 塞斯·福格蒂。 2 黄，尹熙 2 雨果·伊洛斯 2 Kafle，比肖克桑 2 迪帕克·卡普尔 2 马蒂厄·莱梅尔 2 艾娜·尼梅茨 2 马蒂亚斯·普雷纳 2 Sriram K.拉贾马尼。 2 Tsay，Yih-Kuen先生 2 迪夫耶什·乌纳德卡特 2 城市，卡特里娜 1 巴拉特·阿德苏尔 1 玛丽亚·阿尔普特 1 安、杰 1 哈伊纳尔·安德雷卡 1 克拉克·W·巴雷特。 1 卡马利卡·巴塔查吉 1 艾哈迈德·巴亚特 1 阿明·比尔 1 雷米·波顿 1 布莱克·怀德 1 陈明帅 1 查塔尼·迪内什 1 魏恩根·钦 1 哈娜·乔克勒 1 帕特里克·库索特 1 拉迪亚·库索特 1 弗罗林·克雷西恩 1 达斯，安库什 1 苏坎塔·达斯 1 Stéphane P.德姆里。 1 朱尔斯·德沙奈斯 1 Deters，摩根 1 雷蒙德·魔鬼队 1 纳菲·迪亚洛 1 布鲁诺·杜特雷 1 克莱门斯·艾森霍费尔 1 埃曼纽尔·恩克雷纳兹 1 杰罗姆·费雷特 1 阿兰·芬克尔 1 劳伦·弗里堡 1 油炸，Dror 1 拉杰库马尔·加贾维利 1 约翰·加拉赫（John P.Gallagher）。 1 格雷姆·恒河 1 帕米娜·乔治奥 1 Ghardallou，加宽 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 舒巴姆·戈尔 1 圣菲省格拉汉·伦格兰德 1 尼古拉斯·哈尔巴赫斯 1 Tanmay Haldankar 1 迈克尔·赖赫哈特·汉森 1 何冠华 1 马蒂亚斯·海兹曼 1 Jochen Hoenicke公司 1 维沙尔·贾加纳特 1 拉胡尔·贾恩 1 洛依格·杰泽奎尔 1 John，Ajith K。 1 德扬·约瓦诺维奇 1 苏拉布·O·卡西达什维利。 1 斯特凡·基弗 1 金·金-杨 1 萨瓦斯·科努尔 1 Kovács，Laura Ildikó 1 丹尼尔·科宁 1 苏米思·库拉尔 1 Lee，Wonchan先生 1 Lee，Woosuk先生 1 杰罗姆·勒鲁 1 李勇 1 莱姆，迪迪埃 1 罗晨光 1 Judit X·马达拉斯。 1 毛剑锋 1 劳伦特·莫博涅 1 Kuldeep S.梅尔。 1 阿里·米莉 1 安托万·米内 1 拉凯什·米斯特里 1 Nazma N.纳斯卡。 1 伊斯坦·内梅蒂 1 帕里托什·K·潘迪亚。 1 丹尼尔·帕尔多 1 潘安敦 1 安德烈亚斯·波德尔斯基 …还有41位作者 全部的 前5名19篇连载文章中引用 10 系统设计中的形式化方法 2 计算机与数学及其应用 2 纯逻辑与应用逻辑年鉴 1 信息处理信件 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 数学和计算机建模 1 实时系统 1 数学与人工智能年鉴 1 计算机基础理论 1 逻辑程序设计理论与实践 1 自然计算 1 应用数学与计算杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 54 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 2 动力学系统与遍历理论（37至XX） 1 总体主题；集合（00-XX） 1 数值分析（65-XX） 1 相对论和引力理论（83至XX） 1 系统论；控制（93至XX） 按年份列出的引文