您的位置： 专家智库 > >

国家自然科学基金(60821002F02)

作品数：6 被引量：9H指数：2
相关作者：张志芳刘木兰陈绍示付国锋冯如勇更多>>
相关机构：中国科学院数学与系统科学研究院北卡罗莱纳州立大学学研究院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划美国国家自然科学基金更多>>
相关领域：理学自动化与计算机技术电子电信建筑科学更多>>

领域

  • 9个理学
  • 3个电子电信
  • 2个自动化与计算...
  • 1个生物学
  • 1个冶金工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个农业科学
  • 1个政治法律
  • 1个文化科学

主题

  • 6个定理
  • 5个微分
  • 5个机器证明
  • 4个三角化
  • 4个微分几何
  • 4个阶乘
  • 4个结构定理
  • 4个变元
  • 4个Q
  • 3个代数
  • 3个多项式
  • 2个代数和
  • 2个代数学
  • 2个电磁
  • 2个电磁学
  • 2个定理机器证明
  • 2个定理证明
  • 2个学科
  • 2个学科学
  • 2个计算电磁学

机构

  • 7个中国科学院数...
  • 2个浙江大学
  • 1个中国科学院
  • 1个北卡罗莱纳州...

资助

  • 10个国家自然科学...
  • 7个国家重点基础...
  • 4个美国国家自然...
  • 1个博士科研启动...
  • 1个中国科学院知...

传媒

  • 9个系统科学与数...
  • 4个中国科学（A...
  • 4个中国科学：数...
  • 2个数学进展
  • 2个科学
  • 2个中国科学（E...
  • 2个中国科学：信...
  • 1个世界科技研究...
  • 1个科学通报
  • 1个数学学报（中...
  • 1个数学的实践与...
  • 1个应用数学学报
  • 1个计算机学报
  • 1个激光与光电子...
  • 1个中国激光
  • 1个应用数学和力...
  • 1个计算机辅助设...
  • 1个密码与信息
  • 1个中国科学院研...
  • 1个北京电子科技...

地区

  • 2个北京市
  • 2个浙江省
共 10 条 记 录，以下是 1-10
付国锋
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：变元 结构定理 阶乘 Q
发表作品相关人物供职机构所获资助研究领域
谢正
供职机构：浙江大学
研究主题：MAXWELL方程组 格点规范 计算电磁学 整改工作 ELISA
发表作品相关人物供职机构所获资助研究领域
冯如勇
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：WRONSKIAN行列式 差分 变元 结构定理 阶乘
发表作品相关人物供职机构所获资助研究领域
陈绍示
供职机构：北卡罗莱纳州立大学
研究主题：变元 结构定理 阶乘 Q 幂级数
发表作品相关人物供职机构所获资助研究领域
张志芳
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：博弈模型 博弈论 密码学 线性码
发表作品相关人物供职机构所获资助研究领域
刘木兰
供职机构：中国科学院数学与系统科学研究院
研究主题：密码学 信息安全 数字签名方案 代理签名 DE
发表作品相关人物供职机构所获资助研究领域
康劲
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：变元 结构定理 阶乘 Q
发表作品相关人物供职机构所获资助研究领域
曹源昊
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：机器证明 微分几何 共形几何代数 几何自动推理 几何代数
发表作品相关人物供职机构所获资助研究领域
叶征
供职机构：浙江大学计算机科学与技术学院
研究主题：MAXWELL方程组 格点规范 计算电磁学 机器证明 微分几何
发表作品相关人物供职机构所获资助研究领域
李洪波
供职机构：中国科学院
研究主题：插补 插补方法 共形几何代数 机器证明 工作性能
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0