您的位置： 专家智库 > >

国家重点基础研究发展计划(2011CB302412)

作品数：4 被引量：2H指数：1
相关作者：张景中邹宇李涛张传军饶永生更多>>
相关机构：广州大学天津城建大学电子科技大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 8个自动化与计算...
  • 8个理学
  • 6个文化科学
  • 2个生物学
  • 2个机械工程
  • 2个建筑科学
  • 2个轻工技术与工...
  • 2个政治法律
  • 2个语言文字
  • 1个经济管理
  • 1个哲学宗教
  • 1个化学工程
  • 1个电子电信
  • 1个环境科学与工...
  • 1个农业科学
  • 1个一般工业技术
  • 1个社会学
  • 1个军事
  • 1个文学
  • 1个历史地理

主题

  • 8个定理
  • 6个等式
  • 6个数学
  • 6个机器证明
  • 5个代数
  • 5个用户
  • 5个函数
  • 4个证法
  • 3个单形
  • 3个点集
  • 3个动画
  • 3个动态几何软件
  • 3个多项式
  • 3个用户操作
  • 3个正弦定理
  • 3个直线段
  • 3个赛题
  • 3个数学奥林匹克
  • 3个数学竞赛
  • 3个竞赛题

机构

  • 6个广州大学
  • 4个中国科学院成...
  • 2个中国科学院
  • 1个电子科技大学
  • 1个湖南师范大学
  • 1个华中师范大学
  • 1个广州师范学院
  • 1个西南民族大学
  • 1个中国科学院研...
  • 1个贵州师范学院
  • 1个中国科学院重...
  • 1个教育部教育信...
  • 1个天津城建大学
  • 1个中国科学院大...

资助

  • 8个国家重点基础...
  • 8个国家自然科学...
  • 4个国家高技术研...
  • 4个中国科学院知...
  • 3个中国科学院知...
  • 3个中央高校基本...
  • 2个福建省教育厅...
  • 2个福建省交通科...
  • 2个广东省教育部...
  • 2个四川省科技计...
  • 1个国家科技支撑...
  • 1个河南省科技攻...
  • 1个湖北省自然科...
  • 1个教育部留学回...
  • 1个美国国家科学...
  • 1个中国博士后科...
  • 1个四川省科技支...
  • 1个贵州省自然科...
  • 1个贵州省教育厅...
  • 1个“十一五”国...

传媒

  • 6个计算机研究与...
  • 6个数学的实践与...
  • 5个数学通报
  • 5个系统科学与数...
  • 5个计算机学报
  • 5个计算机应用
  • 5个高等数学研究
  • 4个数学教育学报
  • 4个中国科学：数...
  • 3个数学学报（中...
  • 3个中等数学
  • 3个中学数学研究...
  • 3个广州大学学报...
  • 2个高中数学教与...
  • 2个科技导报
  • 2个中学数学月刊
  • 2个中学教研（数...
  • 2个中国科学（A...
  • 2个数学通讯（教...
  • 2个华中师范大学...

地区

  • 3个广东省
  • 2个四川省
  • 1个北京市
  • 1个天津市
  • 1个贵州省
共 8 条 记 录，以下是 1-8
张景中
供职机构：中国科学院
研究主题：数学 数学家 数学教学 微积分 超级画板
发表作品相关人物供职机构所获资助研究领域
李涛
供职机构：天津城建大学
研究主题：机器证明 复数法 几何定理 CMPP 复系数
发表作品相关人物供职机构所获资助研究领域
邹宇
供职机构：广州大学
研究主题：竞赛题 机器证明 命制 数学 数学竞赛
发表作品相关人物供职机构所获资助研究领域
饶永生
供职机构：广州大学
研究主题：超级画板 凹印机 套色 印刷过程 教育数学
发表作品相关人物供职机构所获资助研究领域
张传军
供职机构：贵州师范学院
研究主题：幂等元 变换半群 N 部分变换半群 半群
发表作品相关人物供职机构所获资助研究领域
徐嘉
供职机构：西南民族大学计算机科学与技术学院
研究主题：机器证明 定理 代数系统 根式不等式 有理化
发表作品相关人物供职机构所获资助研究领域
郑焕
供职机构：广州大学计算机科学与教育软件学院计算机教育软件研究所
研究主题：用户 可持续性 面积法 解题过程 波利亚
发表作品相关人物供职机构所获资助研究领域
姚勇
供职机构：中国科学院成都计算机应用研究所
研究主题：不等式 机器证明 终止性 多项式 随机矩阵
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0