您的位置： 专家智库 > >

中国科学院数学与系统科学研究院数学机械化重点实验室

作品数：105 被引量：319H指数：11
相关作者：闫振亚王定康张梅潘彦斌冯如勇更多>>
相关机构：辽宁师范大学计算机与信息技术学院武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉大学计算机学院更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金教育部留学回国人员科研启动基金更多>>
相关领域：自动化与计算机技术理学电子电信金属学及工艺更多>>

合作机构

领域

  • 20个理学
  • 12个自动化与计算...
  • 3个金属学及工艺
  • 2个电子电信
  • 1个机械工程

主题

  • 6个代数
  • 6个微分
  • 5个多项式
  • 5个方程组
  • 4个定理
  • 4个机器证明
  • 4个GR
  • 3个多项式理想
  • 3个数控
  • 3个数控加工
  • 3个数学
  • 3个数学机械化
  • 3个终止性
  • 3个阶乘
  • 3个结构定理
  • 3个二次曲线拟合
  • 3个方程组求解
  • 3个GROEBN...
  • 3个变元
  • 3个差分

机构

  • 27个中国科学院数...
  • 1个大连理工大学
  • 1个北京大学
  • 1个吉林大学

资助

  • 16个国家自然科学...
  • 12个国家重点基础...
  • 3个美国国家自然...
  • 3个中国科学院知...
  • 1个宁夏回族自治...
  • 1个博士科研启动...
  • 1个国家教育部博...
  • 1个国家攀登计划
  • 1个河南省创新型...

传媒

  • 13个系统科学与数...
  • 4个中国科学：信...
  • 3个中国科学（A...
  • 2个数学学报（中...
  • 2个计算机辅助设...
  • 2个北京电子科技...
  • 1个吉林大学自然...
  • 1个力学与实践
  • 1个电子与信息学...
  • 1个系统工程理论...
  • 1个物理学报
  • 1个数学物理学报...
  • 1个应用数学
  • 1个兰州大学学报...
  • 1个甘肃工业大学...
  • 1个应用数学和力...
  • 1个中国科学（E...
  • 1个大连理工大学...
  • 1个Journa...
  • 1个工程图学学报
共 27 条 记 录，以下是 1-10
闫振亚
作品数：37被引量：309H指数：9
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：孤波解 精确解 显式精确解 孤子解 非线性发展方程
发表作品相关人物供职机构所获资助研究领域
王定康
作品数：5被引量：5H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：数控加工 插补方法 插补 工作性能 线段
发表作品相关人物供职机构所获资助研究领域
张梅
作品数：3被引量：5H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：数控加工 插补方法 插补 工作性能 线段
发表作品相关人物供职机构所获资助研究领域
冯如勇
作品数：3被引量：2H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：WRONSKIAN行列式 差分 变元 结构定理 阶乘
发表作品相关人物供职机构所获资助研究领域
潘彦斌
作品数：3被引量：2H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：采样 DEEP 拒绝 密码 量子
发表作品相关人物供职机构所获资助研究领域
曹源昊
作品数：3被引量：1H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：机器证明 微分几何 共形几何代数 几何自动推理 几何代数
发表作品相关人物供职机构所获资助研究领域
王定康
作品数：2被引量：5H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：GR 布尔环 GROEBNER基 多项式理想 终止性
发表作品相关人物供职机构所获资助研究领域
张志芳
作品数：2被引量：6H指数：2
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：博弈模型 博弈论 密码学 线性码
发表作品相关人物供职机构所获资助研究领域
王新民
作品数：2被引量：0H指数：0
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：MMP 多项式 线性方程组 线性代数 吴方法
发表作品相关人物供职机构所获资助研究领域
袁春明
作品数：2被引量：5H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题：二次曲线拟合 数控加工
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0