您的位置： 专家智库 > >

国家自然科学基金(10871195)

作品数：3 被引量：17H指数：1
相关作者：李洪波张立先叶征谢正曹源昊更多>>
相关机构：中国科学院数学与系统科学研究院浙江大学上海理工大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划博士科研启动基金更多>>
相关领域：理学自动化与计算机技术金属学及工艺更多>>

领域

  • 6个理学
  • 2个自动化与计算...
  • 2个政治法律
  • 2个文化科学
  • 1个经济管理
  • 1个生物学
  • 1个冶金工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电子电信
  • 1个农业科学
  • 1个社会学
  • 1个自然科学总论

主题

  • 6个微分
  • 6个微分几何
  • 6个机器证明
  • 4个三角化
  • 3个多项式
  • 2个代数
  • 2个电磁
  • 2个电磁学
  • 2个定理
  • 2个定理证明
  • 2个计算电磁学
  • 2个格点
  • 2个格点规范
  • 2个MAXWEL...
  • 2个MAXWEL...
  • 1个大学生
  • 1个大学生心理
  • 1个大学生心理危...
  • 1个代数和
  • 1个代数学

机构

  • 4个中国科学院数...
  • 2个浙江大学
  • 1个上海理工大学
  • 1个中国科学院

资助

  • 6个国家自然科学...
  • 5个国家重点基础...
  • 3个博士科研启动...
  • 1个上海市自然科...
  • 1个中国科学院知...

传媒

  • 5个中国科学：数...
  • 4个系统科学与数...
  • 3个中国科学（A...
  • 1个世界科技研究...
  • 1个数学进展
  • 1个应用数学学报
  • 1个计算机时代
  • 1个激光与光电子...
  • 1个中国激光
  • 1个上海理工大学...
  • 1个科学
  • 1个应用数学和力...
  • 1个中国物价
  • 1个计算机辅助设...
  • 1个计算机系统应...
  • 1个合作经济与科...
  • 1个项目管理技术
  • 1个计算机技术与...
  • 1个创新创业理论...
  • 1个经济研究导刊

地区

  • 2个浙江省
  • 1个北京市
  • 1个上海市
共 6 条 记 录，以下是 1-6
李洪波
供职机构：中国科学院
研究主题：插补 插补方法 共形几何代数 机器证明 工作性能
发表作品相关人物供职机构所获资助研究领域
张立先
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：RIEMANN 机器证明 微分几何
发表作品相关人物供职机构所获资助研究领域
谢正
供职机构：浙江大学
研究主题：MAXWELL方程组 格点规范 计算电磁学 整改工作 ELISA
发表作品相关人物供职机构所获资助研究领域
叶征
供职机构：浙江大学计算机科学与技术学院
研究主题：MAXWELL方程组 格点规范 计算电磁学 机器证明 微分几何
发表作品相关人物供职机构所获资助研究领域
曹源昊
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：机器证明 微分几何 共形几何代数 几何自动推理 几何代数
发表作品相关人物供职机构所获资助研究领域
刘姜
供职机构：上海理工大学管理学院
研究主题：业务架构 ROAD 系统架构 业务流程管理 模型驱动架构
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0