×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院重庆绿色智能技术研究院机构知识库
KMS Chongqing Institute of Green and Intelligent Technology, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
自动推理与认知研究... [14]
作者
吴文渊 [11]
冯勇 [7]
陈经纬 [7]
李轶 [1]
文献类型
期刊论文 [8]
会议论文 [6]
发表日期
2019 [1]
2017 [3]
2016 [4]
2015 [1]
2014 [4]
2011 [1]
更多...
语种
英语 [10]
中文 [4]
出处
12th Inter... [1]
18th Inter... [1]
18th Inter... [1]
19th Inter... [1]
2014 Sympo... [1]
4th Intern... [1]
更多...
资助项目
CAS Light ... [1]
CAS Resear... [1]
Chongqing ... [1]
Chongqing ... [1]
Chongqing ... [1]
NNSF (Chin... [1]
更多...
收录类别
EI [6]
SCI [4]
CSCD [3]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共14条,第1-10条
帮助
限定条件
专题:自动推理与认知研究中心
第一作者的第一单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
作者升序
作者降序
题名升序
题名降序
WOS被引频次升序
WOS被引频次降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
THE PSLQ ALGORITHM FOR EMPIRICAL DATA
期刊论文
MATHEMATICS OF COMPUTATION, 2019, 卷号: 88, 期号: 317, 页码: 1479-1501
作者:
Feng, Yong
;
Chen, Jingwei
;
Wu, Wenyuan
Adobe PDF(321Kb)
  |  
收藏
  |  
浏览/下载:250/0
  |  
提交时间:2019/03/01
Integer relation
PSLQ
empirical data
The Numerical Factorization of Polynomials
期刊论文
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2017, 卷号: 17, 期号: 1, 页码: 259-286
作者:
Wu, Wenyuan
;
Zeng, Zhonggang
Adobe PDF(1022Kb)
  |  
收藏
  |  
浏览/下载:173/0
  |  
提交时间:2018/03/05
Numerical polynomial factorization
Ill-posed problem
Factorization manifold
Sensitivity
基于HElib的安全电子投票方案
期刊论文
计算机应用研究, 2017, 卷号: 34, 期号: 7, 页码: 2167-2171
作者:
王永恒
;
徐晨
;
陈经纬
;
吴文渊
Adobe PDF(307Kb)
  |  
收藏
  |  
浏览/下载:113/0
  |  
提交时间:2018/03/16
A Special Homotopy Continuation Method for a Class of Polynomial Systems
会议论文
19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017
作者:
Wang, Yu
;
Wu, Wenyuan
;
Xia, Bican
Adobe PDF(821Kb)
  |  
收藏
  |  
浏览/下载:85/0
  |  
提交时间:2018/03/16
A numerical method for analyzing the stability of Bi-parametric biological systems
会议论文
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24, 2016 - September 27, 2016
作者:
Chen, Changbo
;
Wu, Wenyuan
Adobe PDF(387Kb)
  |  
收藏
  |  
浏览/下载:83/0
  |  
提交时间:2018/03/16
A numerical method for computing border curves of bi-parametric real polynomial systems and applications
会议论文
18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, Bucharest, Romania, September 19, 2016 - September 23, 2016
作者:
Chen, Changbo
;
Wu, Wenyuan
Adobe PDF(530Kb)
  |  
收藏
  |  
浏览/下载:94/0
  |  
提交时间:2018/03/16
有界闭连通域上的非线性循环终止性分析
期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:
李轶
;
冯勇
Adobe PDF(378Kb)
  |  
收藏
  |  
浏览/下载:83/0
  |  
提交时间:2018/03/16
Homomorphically encrypted arithmetic operations over the integer ring
会议论文
12th International Conference on Information Security Practice and Experience, ISPEC 2016, Zhangjiajie, China, November 16, 2016 - November 18, 2016
作者:
Xu, Chen
;
Chen, Jingwei
;
Wu, Wenyuan
;
Feng, Yong
Adobe PDF(349Kb)
  |  
收藏
  |  
浏览/下载:125/0
  |  
提交时间:2018/03/16
基于HElib的并行多比特明文同态比较模型
期刊论文
计算机应用, 2015, 期号: S2, 页码: 53-56+69
作者:
孙爽
;
吴文渊
;
王会勇
Adobe PDF(326Kb)
  |  
收藏
  |  
浏览/下载:85/0
  |  
提交时间:2018/03/16
同态加密
BGV
单指令多数据流
明文槽
HElib
Sparse bivariate polynomial factorization
期刊论文
SCIENCE CHINA-MATHEMATICS, 2014, 卷号: 57, 期号: 10, 页码: 2123-2142
作者:
Wu WenYuan
;
Chen JingWei
;
Feng Yong
Adobe PDF(308Kb)
  |  
收藏
  |  
浏览/下载:62/0
  |  
提交时间:2018/03/15
polynomial factorization
sparse polynomial
generalized Hensel lifting