×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院重庆绿色智能技术研究院机构知识库
KMS Chongqing Institute of Green and Intelligent Technology, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
自动推理与认知研究... [14]
作者
吴文渊 [9]
冯勇 [8]
陈经纬 [8]
李轶 [3]
文献类型
会议论文 [7]
期刊论文 [7]
发表日期
2019 [1]
2018 [2]
2017 [2]
2016 [3]
2015 [1]
2014 [4]
更多...
语种
英语 [13]
中文 [1]
出处
2014 Sympo... [2]
12th Inter... [1]
13th Inter... [1]
17th Inter... [1]
17th Inter... [1]
43rd ACM I... [1]
更多...
资助项目
CAS Light ... [1]
CAS Resear... [1]
Chongqing ... [1]
Chongqing ... [1]
Chongqing ... [1]
Chongqing ... [1]
更多...
收录类别
EI [8]
SCI [5]
CSCD [1]
资助机构
×
知识图谱
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)
  |  
收藏
  |  
浏览/下载:248/0
  |  
提交时间:2019/03/01
Integer relation
PSLQ
empirical data
Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically
会议论文
13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018
作者:
Chen, Changbo
;
Wu, Wenyuan
Adobe PDF(535Kb)
  |  
收藏
  |  
浏览/下载:108/0
  |  
提交时间:2019/06/25
Computing an LLL-reduced basis of the orthogonal lattice
会议论文
43rd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, United states, July 16, 2018 - July 19, 2018
作者:
Chen, Jingwei
;
Stehlé, Damien
;
Villard, Gilles
收藏
  |  
浏览/下载:59/0
  |  
提交时间:2019/06/25
Witness to non-termination of linear programs
期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 75-100
作者:
Li, Yi
收藏
  |  
浏览/下载:113/0
  |  
提交时间:2018/03/05
Linear loops
Program termination
Semi-algebraic sets
Witness to non-termination
The Numerical Factorization of Polynomials
期刊论文
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2017, 卷号: 17, 期号: 1, 页码: 259-286
作者:
Wu, Wenyuan
;
Zeng, Zhonggang
Adobe PDF(1022Kb)
  |  
收藏
  |  
浏览/下载:172/0
  |  
提交时间:2018/03/05
Numerical polynomial factorization
Ill-posed problem
Factorization manifold
Sensitivity
Sparse non-negative matrix factorization with generalized kullback-leibler divergence
会议论文
17th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2016, Yangzhou, China, October 12, 2016 - October 14, 2016
作者:
Chen, Jingwei
;
Feng, Yong
;
Liu, Yang
;
Tang, Bing
;
Wu, Wenyuan
Adobe PDF(1029Kb)
  |  
收藏
  |  
浏览/下载:120/0
  |  
提交时间:2018/03/16
Numerical method for real root isolation of semi-algebraic system and its applications
期刊论文
Journal of Computational and Theoretical Nanoscience, 2016, 卷号: 13, 期号: 1, 页码: 803-811
作者:
Ji, Zhenyi
;
Wu, Wenyuan
;
Feng, Yong
;
Li, Yi
;
Qin, Xiao Lin
Adobe PDF(431Kb)
  |  
收藏
  |  
浏览/下载:96/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)
  |  
收藏
  |  
浏览/下载:123/0
  |  
提交时间:2018/03/16
Regular chains under linear changes of coordinates and applications
会议论文
17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, Aachen, Germany, September 14, 2015 - September 18, 2015
作者:
Alvandi, Parisa
;
Chen, Changbo
;
Hashemi, Amir
;
Marc, Moreno Maza
Adobe PDF(320Kb)
  |  
收藏
  |  
浏览/下载:42/0
  |  
提交时间:2018/03/16
Sparse bivariate polynomial factorization
期刊论文
SCIENCE CHINA-MATHEMATICS, 2014, 卷号: 57, 期号: 10, 页码: 2123-2142
作者:
Wu WenYuan
;
Chen JingWei
;
Feng Yong
Adobe PDF(308Kb)
  |  
收藏
  |  
浏览/下载:61/0
  |  
提交时间:2018/03/15
polynomial factorization
sparse polynomial
generalized Hensel lifting