-
陈胜利
-
-
- 所属机构:华东师范大学软件学院上海市高可信计算重点实验室
- 所在地区:上海市
- 研究方向:理学
- 发文基金:国家重点基础研究发展计划
相关作者
- 姚勇
- 作品数：24被引量：60H指数：5
- 供职机构：中国科学院成都计算机应用研究所
- 研究主题：不等式 多项式 机器证明 终止性 随机矩阵
- 黄方剑
- 作品数：9被引量：29H指数：2
- 供职机构：电子科技大学
- 研究主题：关系数据库 知识图谱 可读证明 架构系统 机电设备
- 徐嘉
- 作品数：23被引量：27H指数：3
- 供职机构：西南民族大学计算机科学与技术学院
- 研究主题：机器证明 定理 代数系统 根式不等式 有理化
- 陈良育
- 作品数：29被引量：94H指数：5
- 供职机构：华东师范大学
- 研究主题：高效节能 汉字构形 藏文字符识别 并行计算 作图法
