×
验证码:
换一张
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 ... [2]
Institute ... [2]
Institute ... [1]
Authors
Ding Xiang... [1]
Gao Xiaosh... [1]
Wang Dingk... [1]
Li Jing [1]
Document Type
Journal a... [11]
Date Issued
2022 [1]
2020 [1]
2019 [1]
2016 [1]
2012 [2]
2006 [1]
More...
Language
英语 [11]
Source Publication
JOURNAL OF... [2]
ADVANCES I... [1]
ARCHIVE FO... [1]
COMMUNICAT... [1]
COMPUTER A... [1]
INVERSE PR... [1]
More...
Funding Project
[National ... [2]
[National ... [2]
Beijing No... [1]
CAS Key Pr... [1]
Chinese Un... [1]
DoubleThou... [1]
More...
Indexed By
SCI [2]
CSCD [1]
Funding Organization
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-10 of 11
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
Issue Date Ascending
Issue Date Descending
Author Ascending
Author Descending
Title Ascending
Title Descending
Submit date Ascending
Submit date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Global Existence of Strong and Weak Solutions to 2D Compressible Navier-Stokes System in Bounded Domains with Large Data and Vacuum
期刊论文
ARCHIVE FOR RATIONAL MECHANICS AND ANALYSIS, 2022, 页码: 40
Authors:
Fan, Xinyu
;
Li, Jiaxu
;
Li, Jing
Favorite
  |  
View/Download:35/0
  |  
Submit date:2023/02/07
An Improvement of the Rational Representation for High-Dimensional Systems
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 18
Authors:
Xiao, Fanghui
;
Lu, Dong
;
Ma, Xiaodong
;
Wang, Dingkang
Favorite
  |  
View/Download:108/0
  |  
Submit date:2021/01/14
Comprehensive Grobner systems
high-dimensional polynomial system
rational representation
rational univariate representation
On Super Yangian Covariance of the Triple Product System
期刊论文
ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2019, 卷号: 29, 期号: 1, 页码: 15
Authors:
Yao, Shao-Kui
;
Liu, Peng
;
Jia, Xiao-Yu
Favorite
  |  
View/Download:133/0
  |  
Submit date:2019/03/05
Super Yangian representation
Super Yangian covariance
Ternary Hopf algebra
Computing mu-bases from algebraic ruled surfaces
期刊论文
COMPUTER AIDED GEOMETRIC DESIGN, 2016, 卷号: 46, 页码: 125-130
Authors:
Shen, Li-Yong
Favorite
  |  
View/Download:76/0
  |  
Submit date:2018/07/30
Rational ruled surface
Planar directrix
mu-Basis
Parametrization
computingpolynomialunivariaterepresentationsofzerodimensionalidealsbygrobnerbasis
期刊论文
sciencechinamathematics, 2012, 卷号: 55, 期号: 6, 页码: 1293
Authors:
Ma Xiaodong
;
Sun Yao
;
Wang Dingkang
Favorite
  |  
View/Download:101/0
  |  
Submit date:2020/01/10
Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis
期刊论文
SCIENCE CHINA-MATHEMATICS, 2012, 卷号: 55, 期号: 6, 页码: 1293-1302
Authors:
Ma XiaoDong
;
Sun Yao
;
Wang DingKang
Favorite
  |  
View/Download:56/0
  |  
Submit date:2021/01/14
BASES
COMPUTATION
ALGORITHMS
RESULTANTS
RUR
PUR
zero-dimensional ideals
Grobner basis
implicitizationofpartialdifferentialrationalparametricequations
期刊论文
journalofsystemsscienceandcomplexity, 2006, 卷号: 19, 期号: 2, 页码: 256
Authors:
Guangwei Li
Favorite
  |  
View/Download:58/0
  |  
Submit date:2020/01/10
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
Authors:
Li, HB
;
Wu, YH
Favorite
  |  
View/Download:55/0
  |  
Submit date:2018/07/30
bracket algebra
Cayley algebra
automated theorem proving
projective conic geometry
Implicitization of differential rational parametric equations
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 811-824
Authors:
Gao, XS
Favorite
  |  
View/Download:66/0
  |  
Submit date:2018/07/30
implicitization
differential rational parametric equations
unirational differential algebraic varieties
Luroth theorem
True amplitude wave equation migration arising from true amplitude one-way wave equations
期刊论文
INVERSE PROBLEMS, 2003, 卷号: 19, 期号: 5, 页码: 1113-1138
Authors:
Zhang, Y
;
Zhang, GQ
;
Bleistein, N
Favorite
  |  
View/Download:71/0
  |  
Submit date:2018/07/30