×
验证码:
换一张
忘记密码?
记住我
切换中国科技网通行证登录
×
切换中国科技网通行证登录
登录
中文版
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
系统科学研究所 [22]
作者
李洪波 [8]
程代展 [5]
韩阳 [4]
王定康 [2]
陈绍示 [2]
席在荣 [1]
更多...
文献类型
期刊论文 [22]
发表日期
2019 [1]
2018 [1]
2017 [1]
2016 [5]
2009 [1]
2008 [2]
更多...
语种
英语 [22]
出处
JOURNAL OF... [3]
SCIENCE IN... [3]
ALGEBRAS A... [2]
AUTOMATED ... [2]
ACTA MATHE... [1]
ALGEBRAIC ... [1]
更多...
资助项目
National K... [2]
National N... [2]
National N... [2]
Strategic ... [2]
973 projec... [1]
Academy of... [1]
更多...
收录类别
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共22条,第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被引频次降序
发表日期升序
发表日期降序
ON EQUIVALENCE OF MATRICES
期刊论文
ASIAN JOURNAL OF MATHEMATICS, 2019, 卷号: 23, 期号: 2, 页码: 257-347
作者:
Cheng, Daizhan
收藏
  |  
浏览/下载:194/0
  |  
提交时间:2020/01/10
Semi-tensor product/addition(STP/STA)
vector product/addition(VP/VA)
matrix/vector equivalence (M-/V-)
lattice
topology
fiber bundle
bundled manifold/Lie algebra/Lie group(BM/BLA/BLG)
Connectivity-Based Accessibility for Public Bicycle Sharing Systems
期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 卷号: 15, 期号: 4, 页码: 1521-1532
作者:
Wang, Lei
;
Li, Chanying
;
Chen, Michael Z. Q.
;
Wang, Qing-Guo
;
Tao, Fei
收藏
  |  
浏览/下载:214/0
  |  
提交时间:2018/11/16
Accessibility
bicycle sharing
min-plus algebra
station allocation
Some Open Problems Related to Creative Telescoping
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 卷号: 30, 期号: 1, 页码: 154-172
作者:
Shaoshi, Chen
;
Manuel, Kauers
收藏
  |  
浏览/下载:127/0
  |  
提交时间:2018/07/30
Computer algebra
creative telescoping
differential algebra
linear operators
ore algebras
symbolic integration
symbolic summation.
Brauer-Thrall Type Theorems for Derived Module Categories
期刊论文
ALGEBRAS AND REPRESENTATION THEORY, 2016, 卷号: 19, 期号: 6, 页码: 1369-1386
作者:
Zhang, Chao
;
Han, Yang
收藏
  |  
浏览/下载:114/0
  |  
提交时间:2018/07/30
Derived category
Indecomposable object
Derived finite algebra
Derived discrete algebra
Piecewise hereditary algebra
An improvement over the GVW algorithm for inhomogeneous polynomial systems
期刊论文
FINITE FIELDS AND THEIR APPLICATIONS, 2016, 卷号: 41, 页码: 174-192
作者:
Sun, Yao
;
Huang, Zhenyu
;
Wang, Dingkang
;
Lin, Dongdai
收藏
  |  
浏览/下载:132/0
  |  
提交时间:2018/07/30
Grobner basis
The GVW algorithm
Signature-based algorithm
Linear algebra
Boolean polynomial ring
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804
作者:
Sun Yao
;
Huang Zhenyu
;
Lin Dongdai
;
Wang Dingkang
收藏
  |  
浏览/下载:138/0
  |  
提交时间:2018/07/30
Boolean polynomial rings
Grobner basis
implementation
linear algebra
Desingularization of Ore operators
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 74, 页码: 617-626
作者:
Chen, Shaoshi
;
Kauers, Manuel
;
Singer, Michael F.
收藏
  |  
浏览/下载:159/0
  |  
提交时间:2018/07/30
D-finite functions
Apparent singularities
Computer algebra
Ore operators
Reducing Homological Conjectures by n-Recollements
期刊论文
ALGEBRAS AND REPRESENTATION THEORY, 2016, 卷号: 19, 期号: 2, 页码: 377-395
作者:
Qin, Yongyun
;
Han, Yang
收藏
  |  
浏览/下载:149/0
  |  
提交时间:2018/07/30
n-recollement
n-derived-simple algebra
Cartan determinant
Homologically smooth algebra
Gorenstein algebra
SYMBOLIC VERSOR COMPRESSION ALGORITHM
期刊论文
ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 4, 页码: 991-1004
作者:
Li Hongbo
收藏
  |  
浏览/下载:124/0
  |  
提交时间:2018/07/30
Clifford algebra
orthogonal transformation
symbolic computation
Grassmann-Cayley algebra
versor compression
Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space
期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 12, 页码: 2137-2148
作者:
Huang Lei
;
Li HongBo
收藏
  |  
浏览/下载:124/0
  |  
提交时间:2018/07/30
conformal geometric algebra (CGA)
null bracket algebra (NBA)
geometric invariant
mechanical proving
normal forms
68T15
03B35