曹源昊
作品数： 3被引量：1H指数：1
  • 所属机构:中国科学院数学与系统科学研究院数学机械化重点实验室
  • 研究方向:理学
  • 发文基金:国家重点基础研究发展计划

相关作者

李洪波
作品数：44被引量：95H指数：5
供职机构：中国科学院
研究主题：插补 插补方法 共形几何代数 机器证明 工作性能
谢正
作品数：4被引量：2H指数：1
供职机构：浙江大学
研究主题：MAXWELL方程组 格点规范 计算电磁学 整改工作 ELISA
刘姜
作品数：32被引量：43H指数：4
供职机构：上海理工大学管理学院
研究主题：业务架构 ROAD BPMN 着色PETRI网 系统架构
叶征
作品数：2被引量：1H指数：1
供职机构：浙江大学计算机科学与技术学院
研究主题：MAXWELL方程组 格点规范 计算电磁学 机器证明 微分几何
作品列表