编辑配置文件（在新选项卡中打开） 关勇 合著者距离 作者ID: 关勇 发布日期： 关勇 已编制索引的文档： 32出版物自2003年以来，包括1本书 合著者： 52位合著者具有32联合出版物 2088位合著者 全部的 前5名合著者 0 单作者的 15 史志平 8 王国辉 7 李永东 7 张杰 6 李锡盟 4 李丽明 4 邵子丽 4 王毅 三 George T.Amariucai。 三 陈仁海 三 李晓娟 三 魏红星 三 张敬之 三 张倩莹 2 陈珊妍 2 四川靖 2 林冰生 2 马晨琳 2 马，沙 2 邵振洲 2 宋晓宇 2 王瑞 2 吴爱轩 2 徐刚 2 叶世伟 1 克利福德·伯格曼 1 Daniel J.Berleant，柏林人。 1 张美鹏 1 Chu，Chris C.N。 1 斯科特·弗森（Scott A.Ferson）。 1 顾伟清 1 韩宁 1 李鹏 1 罗立明 1 刘迪奥 1 刘文菊 1 刘振科 1 毛丹文 1 詹姆斯·弗朗西斯·彼得斯三世 1 秦志伟 1 Gerald B.Sheblé。 1 沈兆彦 1 孙磊 1 王继和 1 王明 1 王晓红 1 魏亚文 1 吴敏华 1 徐波 1 杨秀梅 1 于、珍 1 张玉鹏 全部的 前5名系列 4 应用数学杂志 三 电气电子工程师学会计算机期刊 三 工程中的数学问题 2 自动推理杂志 2 计算的形式方面 2 程序设计中的逻辑和代数方法杂志 1 现代物理快报A 1 机械学报 1 计算 1 自动化学报 1 数值数学 1 应用Clifford代数的进展 1 可靠的计算 1 软件杂志 1 理论物理交流 全部的 前5名领域 22 计算机科学（68至XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 数值分析（65-XX） 4 粒子和系统力学（70-XX） 4 信息与通信理论、电路（94-XX） 2 数学逻辑和基础（03-XX） 2 量子理论（81-XX） 1 非结合环和代数（17-XX） 1 实际功能（26年X月X日） 1 复变量的函数（30年XX月） 1 变异微积分和最优控制；最优化（49至XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用31中的次21文件 引用人▼ 年份▼ 保角几何代数的高阶逻辑形式化及其在机器人操作算法验证中的应用。 兹比尔1367.65032 马，沙;史志平;邵振洲;关勇;李丽明;李永东 6 2016 HOL中函数矩阵理论的形式化。 Zbl 1442.68258号 史志平;刘振科;关勇;叶世伟;张杰;魏红星 4 2014 可靠地处理不确定性。 Zbl 1140.62301号 丹尼尔·贝兰特;张美鹏;Chu，Chris（克里斯·楚）;关勇;艾哈迈德·卡马尔;杰拉尔德·谢尔盖;斯科特·弗森;詹姆斯·彼得斯（James F.Peters）。 4 2003 HOL Light中几何代数的形式化。 兹比尔1468.68329 李、李明;史志平;关勇;张倩莹;李永东 2 2019 螺旋理论中运动雅可比矩阵的形式化分析。 邮编1426.70008 史志平;吴爱轩;杨秀梅;关勇;李永东;宋晓宇 2 2018 线性空间理论在高阶逻辑证明系统中的形式化。 Zbl 1315.03021号 张杰;毛丹文;关勇 2 2013 HOL4中的规范积分理论。 Zbl 1268.65033号 史志平;顾伟清;李晓娟;关勇;叶世伟;张杰;魏红星 2 2013 在面内磁场/电场和夹紧诱导的反平面预成形作用下，磁电弹性条中的多个平行裂纹。 Zbl 1344.74039号 李永东;关勇;邵振洲 2 2016 使用螺旋理论对一般6R机械手进行形式化运动学分析。 Zbl 1394.70010号 吴爱轩;史志平;李永东;吴敏华;关勇;张杰;魏红星 1 2015 HOL中离散傅里叶变换的形式化。 Zbl 1394.68353号 史志平;张玉鹏;关勇;李黎明;张杰 1 2015 验证外包的计算委托：好奇的验证者。 Zbl 1323.68284号 徐刚;乔治·阿玛瑞凯;关勇 1 2013 大规模NAND闪存系统中的按需块级地址映射。 Zbl 1360.68404号 陈仁海;秦志伟;王毅;刘迪奥;邵子丽;关勇 1 2015 HOL Light中功能变化的形式化。 Zbl 1423.68427号 张敬之;王国辉;史志平;关勇;李永东 1 2019 基于HOL光变分法的欧拉-拉格朗日方程组的形式化。 Zbl 07356966号 关勇;张敬之;王国辉;李锡盟;史志平;李永东 1 2021 基于罗德里格斯公式的摄像机姿态估计算法的形式化。 Zbl 1458.68226号 陈珊妍;王国辉;李锡盟;张倩莹;史志平;关勇 1 2020 基于HOL光下变分微积分的欧拉-拉格朗日方程组的形式化。 Zbl 07356966号 关勇;张敬之;王国辉;李锡盟;史志平;李永东 1 2021 基于罗德里格斯公式的摄像机姿态估计算法的形式化。 Zbl 1458.68226号 陈珊妍;王国辉;李锡盟;张倩莹;史志平;关勇 1 2020 HOL Light中几何代数的形式化。 Zbl 1468.68329号 李、李明;史志平;关勇;张倩莹;李永东 2 2019 HOL Light中功能变化的形式化。 Zbl 1423.68427号 张敬之;王国辉;史志平;关勇;李永东 1 2019 螺旋理论中运动雅可比矩阵的形式化分析。 邮编1426.70008 史志平;吴爱轩;杨秀梅;关勇;李永东;宋晓宇 2 2018 保角几何代数的高阶逻辑形式化及其在机器人操作算法验证中的应用。 Zbl 1367.65032号 马，沙;史志平;邵振洲;关勇;李丽明;李永东 6 2016 在面内磁场/电场和夹紧诱导的反平面预成形作用下，磁电弹性条中的多个平行裂纹。 Zbl 1344.74039号 李永东;关勇;邵振周 2 2016 使用螺旋理论对一般6R机械手进行形式化运动学分析。 Zbl 1394.70010号 吴爱轩;史志平;李永东;吴敏华;关勇;张杰;魏红星 1 2015 HOL中离散傅立叶变换的形式化。 Zbl 1394.68353号 史志平;张玉鹏;关勇;李丽明;张杰 1 2015 大规模NAND闪存存储系统中的按需块级地址映射。 Zbl 1360.68404号 陈仁海;秦志伟;王毅;刘迪奥;邵子丽;关勇 1 2015 HOL中函数矩阵理论的形式化。 Zbl 1442.68258号 史志平;刘振科;关勇;叶世伟;张杰;魏红星 4 2014 线性空间理论在高阶逻辑证明系统中的形式化。 Zbl 1315.03021号 张杰;毛丹文;关勇 2 2013 HOL4中的规范积分理论。 兹比尔1268.65033 史志平;顾伟清;李晓娟;关勇;叶世伟;张杰;魏红星 2 2013 验证外包的计算委托：好奇的验证者。 Zbl 1323.68284号 徐刚;乔治·阿玛瑞凯;关勇 1 2013 可靠地处理不确定性。 Zbl 1140.62301号 丹尼尔·贝兰特;张美鹏;Chu，Chris（克里斯·楚）;关勇;艾哈迈德·卡马尔;杰拉尔德·谢尔盖;斯科特·弗森;詹姆斯·彼得斯（James F.Peters）。 4 2003 所有引用出版物 前5名被引用出版物 全部的 前5名51位作者引用 7 关勇 7 史志平 6 李永东 三 李丽明 三 张杰 2 Daniel J.Berleant，柏林人。 2 霍新明 2 弗拉基克·雅科夫列维奇（Vladik Yakovlevich Kreinovich） 2 王国辉 2 魏红星 2 吴爱轩 2 张敬之 1 马丁·塞贝里奥 1 埃利夫·丹尼斯 1 安德烈亚·加布里埃利 1 克里斯西·乔治奥 1 塞斯·吉尔伯特 1 韩，艾 1 奥斯曼·哈桑 1 洪永淼 1 奥尔加·M·科舍列娃。 1 Dariusz R.科瓦尔斯基。 1 赖，K.K。 1 帕特里克·P·C·李。 1 李婉珍 1 李锡盟 1 李永坤 1 刘世伦 1 刘振科 1 路易斯，约翰·C·S。 1 马可·马格西 1 Nguyen、Hung Trung 1 阿德南·拉希德 1 歌曲，器物 1 宋晓宇 1 宋一民 1 马西莫·斯帕多尼 1 卢西亚诺·斯特凡尼尼 1 索菲涅·塔哈尔 1 Tupholme，G.E。 1 王攀峰 1 王寿阳 1 埃里克·威瑟 1 吴敏华 1 向、刚 1 徐润清 1 杨秀梅 1 叶世伟 1 詹博华 1 张倩莹 1 张玉鹏 全部的 前5名14篇连载文章中引用 三 应用Clifford代数的进展 2 自动推理杂志 2 工程中的数学问题 1 机械学报 1 模糊集与系统 1 国际近似推理杂志 1 排队系统 1 计算的形式方面 1 分布式计算 1 可靠的计算 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 1 系统科学与复杂性杂志 1 应用数学杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在14个字段中引用 12 计算机科学（68至XX） 5 数值分析（65-XX） 4 粒子和系统力学（70-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 统计学（62-XX） 2 可变形固体力学（74-XX） 1 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 复变量的函数（30年XX月） 1 偏微分方程（35-XX） 1 功能分析（46倍X倍） 1 变异微积分和最优控制；最优化（49至XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文