-
刘姜
-
-
- 所属机构:上海理工大学管理学院
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 倪枫
- 作品数：24被引量：51H指数：4
- 供职机构：上海理工大学管理学院
- 研究主题：业务架构 ROAD 元模型 面向服务架构 TOGAF
- 郑建国
- 作品数：186被引量：921H指数：14
- 供职机构：东华大学旭日工商管理学院
- 研究主题：数据挖掘 差分进化算法 量子进化算法 量子计算 供应链
- 李洪波
- 作品数：44被引量：94H指数：5
- 供职机构：中国科学院
- 研究主题：插补 插补方法 共形几何代数 机器证明 工作性能
- 张立先
- 作品数：1被引量：0H指数：0
- 供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
- 研究主题：RIEMANN 机器证明 微分几何
- 曹源昊
- 作品数：3被引量：1H指数：1
- 供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
- 研究主题：机器证明 微分几何 共形几何代数 几何自动推理 几何代数
