×
验证码:
换一张
Forgotten Password?
Stay signed in
China Science and Technology Network Pass Registration
×
China Science and Technology Network Pass Registration
Log In
Chinese
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
Log In
Register
ALL
ORCID
Title
Creator
Date Issued
Subject Area
Keyword
Document Type
Source Publication
Date Accessioned
Indexed By
Publisher
Funding Project
MOST Discipline Catalogue
Study Hall
Image search
Paste the image URL
Home
Collections
Authors
DocType
Subjects
K-Map
News
Search in the results
Collection
Institute... [24]
Institute ... [2]
Institue o... [2]
Institute ... [1]
Authors
Wang Ding... [18]
Lv Jinhu [3]
Sun Yajuan [2]
Lu Ruqian [1]
Wang Qihua [1]
Gao Xiaosh... [1]
More...
Document Type
Journal a... [34]
Date Issued
2021 [1]
2020 [2]
2019 [4]
2018 [6]
2017 [1]
2016 [7]
More...
Language
英语 [31]
中文 [3]
Source Publication
JOURNAL OF... [6]
sciencechi... [3]
SCIENCE CH... [2]
journalofs... [2]
AUTOMATICA [1]
FINITE FIE... [1]
More...
Funding Project
[National ... [5]
[National ... [5]
National K... [2]
National N... [2]
National N... [2]
National N... [2]
More...
Indexed By
CSCD [4]
SCI [2]
Funding Organization
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-10 of 34
Help
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submit date Ascending
Submit date Descending
Author Ascending
Author Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
Algorithms for computing greatest common divisors of parametric multivariate polynomials
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 3-20
Authors:
Kapur, Deepak
;
Lu, Dong
;
Monagan, Michael
;
Sun, Yao
;
Wang, Dingkang
Favorite
  |  
View/Download:190/0
  |  
Submit date:2020/09/23
Parametric multivariate polynomials
Gcd system
Minimal comprehensive Grobner system
Ideal intersection
Ideal quotient
On the Construction of Involutory MDS Matrices overF2m
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 卷号: 33, 期号: 3, 页码: 836-848
Authors:
Bai, Jian
;
Sun, Yao
;
Wang, Dingkang
Favorite
  |  
View/Download:96/0
  |  
Submit date:2020/09/23
Diffusion layer
involutory MDS matrix
lightweight
On the Construction of Involutory MDS Matrices over F2^m
期刊论文
系统科学与复杂性学报:英文版, 2020, 卷号: 33.0, 期号: 003, 页码: 836-848
Authors:
BAI Jian
;
SUN Yao
;
WANG Dingkang
Favorite
  |  
View/Download:113/0
  |  
Submit date:2021/01/14
Diffusion
layer
involutory
MDS
matrix
lightweight
A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
Authors:
Lu Dong
;
Sun Yao
;
Wang Dingkang
Favorite
  |  
View/Download:112/0
  |  
Submit date: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
Authors:
Li Ting
;
Sun Yao
;
Huang Zhenyu
;
Wang Dingkang
;
Lin Dongdai
Favorite
  |  
View/Download:122/0
  |  
Submit date:2019/04/02
Grobner basis
GVW
signature-based algorithm
time-memory tradeoff
asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases
期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
Authors:
Lu Dong
;
Sun Yao
;
Wang Dingkang
Favorite
  |  
View/Download:106/0
  |  
Submit date:2020/01/10
speedingupthegvwalgorithmviaasubstitutingmethod
期刊论文
系统科学与复杂性学报英文版, 2019, 卷号: 032, 期号: 001, 页码: 205
Authors:
LI Ting
;
SUN Yao
;
HUANG Zhenyu
;
WANG Dingkang
;
LIN Dongdai
Favorite
  |  
View/Download:116/0
  |  
Submit date:2020/01/10
A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2018, 卷号: 31, 期号: 6, 页码: 1633-1646
Authors:
Lu Dong
;
Sun Yao
;
Wang Dingkang
Favorite
  |  
View/Download:105/0
  |  
Submit date:2019/03/05
Extended Hensel construction
multivariate polynomial
resultant
sylvester matrix
The lightest 4 x 4 MDS matrices over GL(4, F-2)
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 11, 页码: 3
Authors:
Bai, Jian
;
Li, Ting
;
Sun, Yao
;
Wang, Dingkang
;
Lin, Dongdai
Favorite
  |  
View/Download:110/0
  |  
Submit date:2018/11/16
Development of a Novel CMUT-Based Concentric Dual-Element Ultrasonic Transducer: Design, Fabrication, and Characterization
期刊论文
JOURNAL OF MICROELECTROMECHANICAL SYSTEMS, 2018, 卷号: 27, 期号: 3, 页码: 538-546
Authors:
Zheng, Zhou
;
Na, Shuai
;
Chen, Albert I. -Hsiang
;
Li, Zhenhao
;
Wong, Lawrence L. P.
;
Sun, Zhendong
;
Yao, Yao
;
Liu, Ping
;
Yeow, John T. W.
Favorite
  |  
View/Download:125/0
  |  
Submit date:2018/07/30
Annular element
capacitive micromachined ultrasonic transducer (CMUT)
concentric
deep reactive-ion etching
dual-element
hybrid transducer