CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 14
作者:  Xiao Fanghui;  Lu Dong;  Wang Dingkang
收藏  |  浏览/下载:119/0  |  提交时间:2021/04/26
Grö  bner basis  matrix Diophantine equation  module  multivariate polynomial  
A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载:163/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 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 205-233
作者:  Li Ting;  Sun Yao;  Huang Zhenyu;  Wang Dingkang;  Lin Dongdai
收藏  |  浏览/下载:163/0  |  提交时间:2019/04/02
Grobner basis  GVW  signature-based algorithm  time-memory tradeoff  
Tax Evasion: Models with Self-Audit 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2008, 卷号: 21, 期号: 4, 页码: 487-518
作者:  Xiao, Tingting;  Liu, Ke;  Lai, Kin Keung
收藏  |  浏览/下载:106/0  |  提交时间:2018/07/30
Existence and uniqueness of the solution  self-audit  static model  tax evasion  two-period model