中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
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
  |  收藏  |  
Apparent singularities of D-finite systems 期刊论文  OAI收割
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi
  |  收藏  |  
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
  |  收藏  |  
Speeding Up the GVW Algorithm via a Substituting Method 期刊论文  OAI收割
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 205-233
作者:  Li Ting;  Sun Yao
  |  收藏  |  
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
  |  收藏  |  
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文  OAI收割
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie
  |  收藏  |  
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
  |  收藏  |  
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
  |  收藏  |  
A new proof for the correctness of the F5 algorithm 期刊论文  OAI收割
中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756
作者:  Sun Yao;  Wang DingKang
  |  收藏  |  
Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis 期刊论文  OAI收割
SCIENCE CHINA-MATHEMATICS, 2012, 卷号: 55, 期号: 6, 页码: 1293-1302
作者:  Ma XiaoDong;  Sun Yao
  |  收藏  |