×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [10]
数学与系统科学研究院 [4]
内容类型
其他 [10]
期刊论文 [4]
发表日期
2023 [1]
2019 [1]
2018 [2]
2016 [1]
2015 [1]
2014 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
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
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 248-265
作者:
Wang, Dingkang
;
Wang, Hesong
;
Wei, Jingjing
;
Xiao, Fanghui
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2023/02/07
Extended greatest common right divisor
Parametric univariate polynomial matrix
Comprehensive Gr?bner system
Smith normal form
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x]
期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 755, 页码: 89-109
作者:
Jing, Rui-Juan
;
Yuan, Chun-Ming
;
Gao, Xiao-Shan
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2019/03/05
Generalized Hermite normal form
Grobner basis
Polynomial-time algorithm
Z[x] module
An algorithm for computing the factor ring of an ideal in Dedekind domain with finite rank
期刊论文
SCIENCE CHINA-MATHEMATICS, 2018, 卷号: 61, 期号: 5, 页码: 783-796
作者:
Huang, Dandan
;
Deng, Yingpu
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2018/07/30
deterministic polynomial-time test
Dedekind domains
basis representation
Hermite and Smith normal forms
analgorithmforcomputingthefactorringofanidealinadedekinddomainwithfiniterank
期刊论文
sciencechinamathematics, 2018, 卷号: 61, 期号: 5, 页码: 783
作者:
Huang Dandan
;
Deng Yingpu
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2020/01/10
POLYNOMIAL AND LINEARIZED NORMAL FORMS FOR ALMOST PERIODIC DIFFERENTIAL SYSTEMS
其他
2016-01-01
Li, Weigu
;
Llibre, Jaume
;
Wu, Hao
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
RANDOM DYNAMICAL-SYSTEMS
THEOREMS
On classification of the Poincare type maps on R-3
其他
2015-01-01
Ren, Zhihua
;
Xia, Li
;
Yang, Jiazhong
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Poincare type map
Conjugacy
Smooth normal form
Resonance
VECTOR-FIELDS
LOCAL HOMEOMORPHISMS
SMOOTH LINEARIZATION
BANACH-SPACES
CONTRACTIONS
Finite determinacy and polynomial normal forms for diffeomorphisms near a strongly 1-resonant fixed point
其他
2014-01-01
Ren, Zhihua
;
Yan, Shuo
;
Yang, Jiazhong
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/11/11
Diffeomorphism
Normal form
Strongly 1-resonant
A Note on Semi-bent and Hyper-bent Boolean Functions
其他
2014-01-01
Tang, Chunming
;
Lou, Yu
;
Qi, Yanfeng
;
Xu, Maozhi
;
Guo, Baoan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/16
Boolean function
Quadratic boolean function
Semi-bent function
Bent function
Hyper-bent function
POLYNOMIAL FORMS
SEQUENCES
Symbolic decision procedure for termination of linear programs
其他
2011-01-01
Xia, Bican
;
Yang, Lu
;
Zhan, Naijun
;
Zhang, Zhihai
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/10
Linear programs
Termination
Symbolic computation
Numerical computation
Polynomial and linearized normal forms for almost periodic difference systems
其他
2009-01-01
Li, Weigu
;
Llibre, Jaume
;
Wu, Hao
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/11/10
almost periodic difference systems
normal form
averaging method
linearization
©版权所有 ©2017 CSpace - Powered by
CSpace