您的位置: 专家智库 > >

国家重点基础研究发展计划(2004CB318001)

作品数:8 被引量:64H指数:3
相关作者:李洪波曹源昊沈亚良黄雷杜娟更多>>
相关机构:中国科学院数学与系统科学研究院南通大学更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金博士科研启动基金更多>>
相关领域:理学自动化与计算机技术更多>>

领域

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

主题

  • 4个机器证明
  • 3个代数
  • 3个多项式
  • 3个射影
  • 3个射影几何
  • 3个几何代数
  • 3个共形几何代数
  • 2个定理
  • 2个定理证明
  • 2个英文
  • 2个三角化
  • 2个注解
  • 1个大学生
  • 1个大学生心理
  • 1个大学生心理危...
  • 1个代数和
  • 1个代数连通度
  • 1个代数学
  • 1个代数语言
  • 1个代数运算

机构

  • 5个中国科学院数...
  • 2个南通大学
  • 1个上海理工大学
  • 1个苏州大学
  • 1个中国科学院

资助

  • 6个国家重点基础...
  • 4个国家自然科学...
  • 4个博士科研启动...
  • 1个江苏省青年科...
  • 1个上海市自然科...
  • 1个江苏省高等学...
  • 1个南通市应用研...
  • 1个中国科学院知...
  • 1个南通工学院校...
  • 1个南通大学自然...

传媒

  • 4个中国科学(A...
  • 2个系统科学与数...
  • 2个东北师大学报...
  • 2个南通大学学报...
  • 2个中国科学:数...
  • 1个计算机集成制...
  • 1个世界科技研究...
  • 1个数学进展
  • 1个浙江大学学报...
  • 1个应用数学学报
  • 1个计算机时代
  • 1个激光与光电子...
  • 1个中国激光
  • 1个上海理工大学...
  • 1个科学
  • 1个应用数学和力...
  • 1个中国物价
  • 1个计算机辅助设...
  • 1个计算机系统应...
  • 1个合作经济与科...

地区

  • 2个江苏省
  • 1个北京市
  • 1个上海市
6 条 记 录,以下是 1-6
李洪波
供职机构:中国科学院
研究主题:插补 插补方法 共形几何代数 机器证明 工作性能
发表作品相关人物供职机构所获资助研究领域
曹源昊
供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题:机器证明 微分几何 共形几何代数 几何自动推理 几何代数
发表作品相关人物供职机构所获资助研究领域
杜娟
供职机构:南通大学理学院
研究主题:代数连通度 L(2,1)-标号 N- 梯子 标号
发表作品相关人物供职机构所获资助研究领域
沈亚良
供职机构:南通大学理学院
研究主题:单叶性内径 极值 拟共形映射 课程体系 数学专业
发表作品相关人物供职机构所获资助研究领域
黄雷
供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题:差分 MINKOWSKI空间 共形几何代数 几何不变量 机器证明
发表作品相关人物供职机构所获资助研究领域
刘姜
供职机构:上海理工大学管理学院
研究主题:BPMN 业务架构 ROAD 着色PETRI网 CPN
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0