机构

• 数学与系统科学研究... [14]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [14]

发表日期

• 2020 [1]
• 2019 [4]
• 2017 [1]
• 2016 [2]
• 2013 [1]
• 2012 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Factorizations for a class of multivariate polynomial matrices 期刊论文  OAI收割 MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2020, 卷号: 31, 期号: 3, 页码: 989-1004 作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui   |  收藏  |  浏览/下载：30/0  |  提交时间：2020/06/30 Multivariate polynomial matrices  Matrix factorization  Reduced minors  Reduced Grobner basis   Apparent singularities of D-finite systems 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237 作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi   |  收藏  |  浏览/下载：31/0  |  提交时间：2020/01/10 D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization   A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255 作者:  Lu Dong;  Sun Yao;  Wang Dingkang   |  收藏  |  浏览/下载：20/0  |  提交时间：2019/04/02 Comprehensive Grobner basis  comprehensive Grobner system  discovering geometric theorems mechanically  parametric polynomial system  quantifier elimination   Speeding Up the GVW Algorithm via a Substituting Method 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 205-233 作者:  Li Ting;  Sun Yao;  Huang Zhenyu;  Wang Dingkang;  Lin Dongdai   |  收藏  |  浏览/下载：51/0  |  提交时间：2019/04/02 Grobner basis  GVW  signature-based algorithm  time-memory tradeoff   A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x] 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 755, 页码: 89-109 作者:  Jing, Rui-Juan;  Yuan, Chun-Ming;  Gao, Xiao-Shan   |  收藏  |  浏览/下载：27/0  |  提交时间：2019/03/05 Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module   Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344 作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao   |  收藏  |  浏览/下载：23/0  |  提交时间：2018/07/30 Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery   An improvement over the GVW algorithm for inhomogeneous polynomial systems 期刊论文  OAI收割 FINITE FIELDS AND THEIR APPLICATIONS, 2016, 卷号: 41, 页码: 174-192 作者:  Sun, Yao;  Huang, Zhenyu;  Wang, Dingkang;  Lin, Dongdai   |  收藏  |  浏览/下载：17/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 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804 作者:  Sun Yao;  Huang Zhenyu;  Lin Dongdai;  Wang Dingkang   |  收藏  |  浏览/下载：28/0  |  提交时间：2018/07/30 Boolean polynomial rings  Grobner basis  implementation  linear algebra   A new proof for the correctness of the F5 algorithm 期刊论文  OAI收割 中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756 作者:  Sun Yao;  Wang DingKang   |  收藏  |  浏览/下载：8/0  |  提交时间：2021/01/14 GROBNER BASES  Grobner basis  F5  F5B  correctness of F5   Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis 期刊论文  OAI收割 SCIENCE CHINA-MATHEMATICS, 2012, 卷号: 55, 期号: 6, 页码: 1293-1302 作者:  Ma XiaoDong;  Sun Yao;  Wang DingKang   |  收藏  |  浏览/下载：23/0  |  提交时间：2021/01/14 BASES  COMPUTATION  ALGORITHMS  RESULTANTS  RUR  PUR  zero-dimensional ideals  Grobner basis