2024年8月23日
星期五
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
中国科学院知识创新工程重要方向项目(KJCX-YW-S02)
作品数:
12
被引量:46
H指数:4
相关作者:
姚勇
徐嘉
杨路
陈胜利
张韬
更多>>
相关机构:
中国科学院成都计算机应用研究所
西南民族大学
中国科学院研究生院
更多>>
发文基金:
中国科学院知识创新工程重要方向项目
国家重点基础研究发展计划
国家自然科学基金
更多>>
相关领域:
理学
自动化与计算机技术
电子电信
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
8个
自动化与计算...
7个
理学
5个
电子电信
4个
文化科学
3个
机械工程
3个
电气工程
2个
经济管理
2个
一般工业技术
1个
哲学宗教
1个
天文地球
1个
石油与天然气...
1个
建筑科学
1个
轻工技术与工...
1个
交通运输工程
1个
环境科学与工...
1个
社会学
主题
6个
代数
6个
等式
6个
多项式
6个
机器证明
5个
定理
4个
迭代
4个
对称多项式
3个
代数不等式
3个
代数系
3个
代数系统
3个
等式证明
3个
对称核
2个
代数方程
2个
代数数
2个
单形
2个
点集
2个
定理机器证明
2个
动点
2个
对称不等式
2个
对称函数
机构
7个
中国科学院成...
4个
中国科学院
3个
华东师范大学
3个
中国科学院研...
2个
中国科学院自...
1个
北京邮电大学
1个
广州大学
1个
北京大学
1个
电子科技大学
1个
清华大学
1个
四川大学
1个
郑州大学
1个
四川理工学院
1个
西南民族大学
1个
郑州轻工业学...
1个
中国科学院重...
资助
9个
中国科学院知...
8个
国家重点基础...
8个
国家自然科学...
5个
中国科学院知...
4个
中央高校基本...
3个
国家高技术研...
3个
上海市教育委...
3个
上海市教育委...
3个
四川省科技计...
2个
河南省教育厅...
2个
河南省基础与...
2个
创新研究群体...
2个
国家教育部博...
2个
国家重点实验...
2个
河南省高等学...
2个
上海市教育委...
2个
中国科学院海...
2个
中国科学院西...
1个
广东省科技攻...
1个
河南省科技攻...
传媒
5个
系统科学与数...
4个
数学学报(中...
4个
计算机学报
3个
中国科学(A...
3个
数学的实践与...
3个
控制理论与应...
3个
四川大学学报...
3个
软件学报
3个
中国科学(E...
3个
计算机科学
3个
智能系统学报
3个
中国科学:数...
3个
中国科学:信...
2个
电机与控制学...
2个
科学通报
2个
中国矿业大学...
2个
上海交通大学...
2个
计算机应用
2个
计算机应用研...
2个
信息与控制
地区
4个
四川省
2个
北京市
1个
河南省
1个
上海市
1个
重庆市
共
9
条 记 录,以下是 1-9
全选
清除
导出
姚勇
供职机构:中国科学院成都计算机应用研究所
研究主题:不等式 多项式 机器证明 终止性 随机矩阵
发表作品
相关人物
供职机构
所获资助
研究领域
徐嘉
供职机构:西南民族大学计算机科学与技术学院
研究主题:机器证明 定理 代数系统 根式不等式 有理化
发表作品
相关人物
供职机构
所获资助
研究领域
杨路
供职机构:中国科学院成都计算机应用研究所
研究主题:机器证明 多项式 结式 几何定理 差分代换
发表作品
相关人物
供职机构
所获资助
研究领域
陈胜利
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:对称型 不等式 可读证明 代数不等式 机器证明
发表作品
相关人物
供职机构
所获资助
研究领域
朱颢东
供职机构:郑州轻工业学院
研究主题:属性约简 文本分类 文档 粗糙集 遗传算法
发表作品
相关人物
供职机构
所获资助
研究领域
袁如意
供职机构:中国科学院自动化研究所
研究主题:三角翼 大包 无人机 前轮 起降
发表作品
相关人物
供职机构
所获资助
研究领域
张韬
供职机构:中国科学院成都计算机应用研究所
研究主题:粗糙集 词频 文档 属性约简
发表作品
相关人物
供职机构
所获资助
研究领域
郁文生
供职机构:北京邮电大学电子工程学院
研究主题:机器证明 严格正实 N 数据仓库 鲁棒性分析
发表作品
相关人物
供职机构
所获资助
研究领域
冯勇
供职机构:中国科学院重庆绿色智能技术研究院
研究主题:同态加密 终止性 变元 结式 同态
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张