编辑配置文件（在新选项卡中打开） 史志平 合著者距离 作者ID： 石志平 发布日期： 史志平;史志平 已编制索引的文档： 25出版物自1997年以来，包括1本书 合著者： 35位合著者具有21联合出版物 619合作作者 全部的 前5名合著者 0 单作者的 15 关勇 6 李锡盟 6 李永东 6 王国辉 5 张杰 4 李丽明 三 石忠志 三 魏红星 三 张敬之 三 张倩莹 2 陈珊妍 2 Kevrekidis，Panayotis G。 2 马，沙 2 宋晓宇 2 吴爱轩 2 叶世伟 1 段长龙 1 冯、薛 1 顾伟清 1 韩宁 1 鲁迪·李·霍恩 1 胡，洪 1 黄永刚·杨 1 金、范 1 法律，Kody J.H。 1 李庆勇 1 李少倩 1 李晓娟 1 李志清 1 李志新 1 刘熙 1 刘振科 1 吕凤城 1 Boris A.Malomed。 1 任亚军 1 邵振洲 1 史志伟 1 哈迪·苏珊托 1 纳撒尼尔·惠特克 1 吴敏华 1 肖建良 1 杨秀梅 1 张玉鹏 1 朱楠 全部的 前5名系列 4 软件杂志 2 自动推理杂志 2 计算的形式方面 2 工程中的数学问题 2 应用数学杂志 2 中国电子科技大学学报 2 程序设计中的逻辑和代数方法杂志 1 国际塑性杂志 1 声音与振动杂志 1 《物理快报》。A类 1 西南交通大学学报 1 应用Clifford代数的进展 1 物理学报A：数学与理论 全部的 前5名领域 15 计算机科学（68至XX） 5 粒子和系统力学（70-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 信息与通信理论、电路（94-XX） 三 数值分析（65-XX） 2 偏微分方程（35-XX） 1 数学逻辑和基础（03-XX） 1 实际功能（26年X月X日） 1 复变量的函数（30年XX月） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用21次13文件 引用人▼ 年份▼ 保角几何代数的高阶逻辑形式化及其在机器人操作算法验证中的应用。 Zbl 1367.65032号 马，沙;史志平;邵振洲;关勇;李丽明;李永东 6 2016 HOL中函数矩阵理论的形式化。 Zbl 1442.68258号 史志平;刘振科;关勇;叶世伟;张杰;魏红星 4 2014 幂律硬化材料中Berkovich压头的等效轴对称模型。 Zbl 1421.74079号 施，Z。;X·冯。;黄，Y。;肖，J。;黄光裕，K.C。 三 2010 用遗传算法估计指数自回归时间序列模型。 Zbl 1235.70009号 施，Z。;青山，H。 2 1997 HOL4中的规范积分理论。 兹比尔1268.65033 史志平;顾伟清;李晓娟;关勇;叶世伟;张杰;魏红星 2 2013 螺旋理论中运动雅可比矩阵的形式化分析。 邮编1426.70008 史志平;吴爱轩;杨秀梅;关勇;李永东;宋晓宇 2 2018 HOL Light中几何代数的形式化。 Zbl 1468.68329号 李、李明;史志平;关勇;张倩莹;李永东 2 2019 基于HOL光变分法的欧拉-拉格朗日方程组的形式化。 Zbl 07356966号 关勇;张静芝;王国辉;李锡盟;史志平;李永东 1 2021 HOL中离散傅里叶变换的形式化。 Zbl 1394.68353号 史志平;张玉鹏;关勇;李丽明;张杰 1 2015 使用螺旋理论对一般6R机械手进行形式化运动学分析。 Zbl 1394.70010号 吴爱轩;史志平;李永东;吴敏华;关勇;张杰;魏红星 1 2015 HOL Light中功能变化的形式化。 Zbl 1423.68427号 张敬之;王国辉;史志平;关勇;李永东 1 2019 基于罗德里格斯公式的摄像机姿态估计算法的形式化。 Zbl 1458.68226号 陈珊妍;王国辉;李锡盟;张倩莹;史志平;关勇 1 2020 基于HOL光变分法的欧拉-拉格朗日方程组的形式化。 Zbl 07356966号 关勇;张敬之;王国辉;李锡盟;史志平;李永东 1 2021 基于罗德里格斯公式的摄像机姿态估计算法的形式化。 兹比尔1458.68226 陈珊妍;王国辉;李锡盟;张倩莹;史志平;关勇 1 2020 HOL Light中几何代数的形式化。 Zbl 1468.68329号 李、李明;史志平;关勇;张倩莹;李永东 2 2019 HOL Light中功能变化的形式化。 兹比尔1423.68427 张静芝;王国辉;史志平;关勇;李永东 1 2019 螺旋理论中运动雅可比矩阵的形式化分析。 邮编1426.70008 史志平;吴爱轩;杨秀梅;关勇;李永东;宋晓宇 2 2018 保角几何代数的高阶逻辑形式化及其在机器人操作算法验证中的应用。 Zbl 1367.65032号 马，沙;史志平;邵振洲;关勇;李丽明;李永东 6 2016 HOL中离散傅里叶变换的形式化。 Zbl 1394.68353号 史志平;张玉鹏;关勇;李丽明;张杰 1 2015 利用螺旋理论对通用6R机械手进行形式化运动学分析。 Zbl 1394.70010号 吴爱轩;史志平;李永东;吴敏华;关勇;张杰;魏红星 1 2015 HOL中函数矩阵理论的形式化。 Zbl 1442.68258号 史志平;刘振科;关勇;叶世伟;张杰;Wei，红星 4 2014 HOL4中的规范积分理论。 Zbl 1268.65033号 史志平;顾伟清;李晓娟;关勇;叶世伟;张杰;魏红星 2 2013 幂律硬化材料中Berkovich压头的等效轴对称模型。 Zbl 1421.74079号 施，Z。;X·冯。;黄，Y。;肖，J。;黄光裕，K.C。 三 2010 用遗传算法估计指数自回归时间序列模型。 Zbl 1235.70009号 施，Z。;青山，H。 2 1997 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 7 关勇 7 史志平 5 李永东 三 李丽明 三 张杰 2 霍新明 2 王国辉 2 魏红星 2 吴爱轩 2 张敬之 1 埃利夫·丹尼斯 1 安德烈亚·加布里埃利 1 奥斯曼哈桑 1 李婉珍 1 李锡盟 1 刘振科 1 马可·马格西 1 阿德南·拉希德 1 歌曲，器物 1 宋晓宇 1 宋一民 1 索菲涅·塔哈尔 1 王攀峰 1 埃里克·威瑟 1 吴敏华 1 徐润清 1 杨秀梅 1 叶世伟 1 詹伯华 1 张倩莹 1 张玉鹏 全部的 前5名6篇连载文章中引用 三 应用Clifford代数的进展 2 自动推理杂志 2 工程中的数学问题 1 计算的形式方面 1 应用数学杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 10 计算机科学（68至XX） 4 粒子和系统力学（70-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 2 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 复变量的函数（30年XX月） 1 功能分析（46倍X倍） 1 变分法与最优控制；最优化（49-XX） 按年份列出的引文