姚勇
作品数： 24被引量：60H指数：5
  • 所属机构:中国科学院成都计算机应用研究所
  • 所在地区:四川省 成都市
  • 研究方向:理学
  • 发文基金:国家重点基础研究发展计划

相关作者

徐嘉
作品数：23被引量：27H指数：3
供职机构：西南民族大学计算机科学与技术学院
研究主题：机器证明 定理 代数系统 根式不等式 有理化
王挽澜
作品数：42被引量：67H指数：4
供职机构：成都大学信息科学与技术学院
研究主题：不等式 英文 加细 著名不等式 降维方法
冯勇
作品数：80被引量：177H指数：7
供职机构：中国科学院重庆绿色智能技术研究院
研究主题：同态加密 终止性 变元 结式 安全多方计算
陈胜利
作品数：7被引量：31H指数：3
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：对称型 不等式 可读证明 代数不等式 机器证明
杨路
作品数：30被引量：242H指数：11
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
作品列表