×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
数学与系统科学研究... [19]
内容类型
期刊论文 [19]
发表日期
2021 [2]
2019 [2]
2016 [1]
2013 [1]
2012 [1]
2011 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共19条,第1-10条
帮助
限定条件
专题:数学与系统科学研究院
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 14
作者:
Xiao Fanghui
;
Lu Dong
;
Wang Dingkang
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2021/04/26
Grö
bner basis
matrix Diophantine equation
module
multivariate polynomial
Algorithms for computing greatest common divisors of parametric multivariate polynomials
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 3-20
作者:
Kapur, Deepak
;
Lu, Dong
;
Monagan, Michael
;
Sun, Yao
;
Wang, Dingkang
收藏
  |  
浏览/下载:63/0
  |  
提交时间:2020/09/23
Parametric multivariate polynomials
Gcd system
Minimal comprehensive Grobner system
Ideal intersection
Ideal quotient
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
收藏
  |  
浏览/下载:14/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
收藏
  |  
浏览/下载:47/0
  |  
提交时间:2019/04/02
Grobner basis
GVW
signature-based algorithm
time-memory tradeoff
An improvement over the GVW algorithm for inhomogeneous polynomial systems
期刊论文
FINITE FIELDS AND THEIR APPLICATIONS, 2016, 卷号: 41, 页码: 174-192
作者:
Sun, Yao
;
Huang, Zhenyu
;
Wang, Dingkang
;
Lin, Dongdai
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2018/07/30
Grobner basis
The GVW algorithm
Signature-based algorithm
Linear algebra
Boolean polynomial ring
A new proof for the correctness of the F5 algorithm
期刊论文
中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756
作者:
Sun Yao
;
Wang DingKang
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2021/01/14
GROBNER BASES
Grobner basis
F5
F5B
correctness of F5
Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis
期刊论文
SCIENCE CHINA-MATHEMATICS, 2012, 卷号: 55, 期号: 6, 页码: 1293-1302
作者:
Ma XiaoDong
;
Sun Yao
;
Wang DingKang
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2021/01/14
BASES
COMPUTATION
ALGORITHMS
RESULTANTS
RUR
PUR
zero-dimensional ideals
Grobner basis
On computing Grobner bases in rings of differential operators
期刊论文
SCIENCE CHINA-MATHEMATICS, 2011, 卷号: 54, 期号: 6, 页码: 1077-1087
作者:
Ma XiaoDong
;
Sun Yao
;
Wang DingKang
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2018/07/30
Grobner basis
rings of differential operators
Gr(o)bner bases in difference-differential modules and difference-differential dimension polynomials
期刊论文
Science in China. Series A: Mathematics, 2008, 卷号: 51, 期号: 9, 页码: 1732
作者:
ZHOU Meng
;
Franz WINKLER
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2020/01/10
Implicitization of rational curves and polynomial surfaces
期刊论文
BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, 2007, 卷号: 44, 期号: 1, 页码: 13-29
作者:
Yu, Jian-ping
;
Sun, Yong-li
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2018/07/30
implicitization
rational curve
polynomial surface
implicit curve(surface)
Grobner bases
characteristic set
©版权所有 ©2017 CSpace - Powered by
CSpace