×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
重庆绿色智能技术研究... [7]
北京大学 [3]
软件研究所 [3]
清华大学 [2]
数学与系统科学研究院 [2]
自动化研究所 [1]
更多...
内容类型
期刊论文 [15]
会议论文 [2]
其他 [2]
专著章节/文集论文 [1]
发表日期
2019 [1]
2018 [1]
2017 [2]
2016 [2]
2014 [3]
2013 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共20条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity
期刊论文
Journal of Systems Science and Complexity, 2019, 卷号: 32, 期号: 1, 页码: 78-94
作者:
Zhang, Jingzhong
;
Peng, Xicheng
;
Chen, Mao
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/02/18
Learning of human-like algebraic reasoning using deep feedforward neural networks
期刊论文
BIOLOGICALLY INSPIRED COGNITIVE ARCHITECTURES, 2018, 卷号: 25, 页码: 43-50
作者:
Cai, Cheng-Hao
;
Xu, Yanyan
;
Ke, Dengfeng
;
Su, Kaile
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2019/12/16
Reasoning-based learning
Deep learning
Algebraic reasoning
Neural network reasoning
Witness to non-termination of linear programs
期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 75-100
作者:
Li, Yi
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2018/03/05
Linear loops
Program termination
Semi-algebraic sets
Witness to non-termination
Computing real witness points of positive dimensional polynomial systems
期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231
作者:
Wu, Wenyuan
;
Reid, Greg
;
Feng, Yong
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2018/03/05
Numerical algebraic geometry
Real algebraic geometry
Homotopy continuation
Singular critical points
Real witness points
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93
作者:
Chen, Changbo
;
Maza, Marc Moreno
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2018/03/15
Quantifier elimination
Cylindrical algebraic decomposition
Regular chains
Triangular decomposition
Modified group preserving methods and applications in chaotic systems
期刊论文
ACTA PHYSICA SINICA, 2016, 卷号: 65, 期号: 11, 页码: 9
作者:
Lu Jian-Guang
;
Tang Juan
;
Qin Xiao-Lin
;
Feng Yong
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2018/03/15
tracking control of chaos
group preserving method
Lorenz system
Duffing system
Sparse bivariate polynomial factorization
期刊论文
SCIENCE CHINA-MATHEMATICS, 2014, 卷号: 57, 期号: 10, 页码: 2123-2142
作者:
Wu WenYuan
;
Chen JingWei
;
Feng Yong
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2018/03/15
polynomial factorization
sparse polynomial
generalized Hensel lifting
Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System
期刊论文
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2014, 卷号: 11, 期号: 9, 页码: 1942-1946
作者:
Ji, Zhenyi
;
Liu, Zijian
;
Wu, Wenyuan
;
Feng, Yong
;
Li, Yi
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2018/03/15
Homotopy Method
Real Root Isolation
Stability Analysis
Lyapunov's First Method
A categorical representation of algebraic domains based on variations of rough approximable concepts
期刊论文
International Journal of Approximate Reasoning, 2014, 卷号: Vol.55 No.3, 页码: 885-895
作者:
Guo, Lankun
;
Li, Qingguo
;
Huang, Mengqiao
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/31
Rough approximable concept
Rough pseudo-concept
Hyper-context
Hyper-concept
Algebraic domain
Algebraic program semantics for supercomputing
其他
2013-01-01
Chen, Yifeng
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/17
©版权所有 ©2017 CSpace - Powered by
CSpace