CORC

浏览/检索结果: 共14条,第1-10条 帮助

已选(0)清除 条数/页:   排序方式:
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
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
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
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
On classification of the Poincare type maps on R-3 其他
2015-01-01
Ren, Zhihua; Xia, Li; Yang, Jiazhong
收藏  |  浏览/下载:5/0  |  提交时间:2017/12/03
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
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
Symbolic decision procedure for termination of linear programs 其他
2011-01-01
Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai
收藏  |  浏览/下载:4/0  |  提交时间:2015/11/10
Polynomial and linearized normal forms for almost periodic difference systems 其他
2009-01-01
Li, Weigu; Llibre, Jaume; Wu, Hao
收藏  |  浏览/下载:5/0  |  提交时间:2015/11/10


©版权所有 ©2017 CSpace - Powered by CSpace