×
验证码:
换一张
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... [53]
Institute ... [1]
Institue o... [1]
Authors
Yan Zheny... [21]
Gao Xiaos... [12]
Li Hongbo [5]
Feng Ruyon... [4]
Chen Shaos... [4]
Lv Jinhu [3]
More...
Document Type
Journal ... [140]
Project [1]
Date Issued
2021 [5]
2020 [1]
2019 [2]
2018 [4]
2017 [1]
2016 [8]
More...
Language
英语 [140]
Source Publication
JOURNAL O... [32]
COMMUNICA... [20]
CHAOS SOL... [15]
APPLIED MA... [9]
ZEITSCHRIF... [8]
PHYSICS LE... [4]
More...
Funding Project
NKBRP of C... [4]
NSFC[11501... [4]
NSFC[11688... [4]
Beijing Na... [3]
China Post... [3]
Guangxi Ed... [3]
More...
Indexed By
SCI [6]
Funding Organization
Guangxi Ed... [1]
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-10 of 141
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
Journal Impact Factor Ascending
Journal Impact Factor Descending
Submit date Ascending
Submit date Descending
Title Ascending
Title Descending
WOS Cited Times Ascending
WOS Cited Times Descending
New bounds and an efficient algorithm for sparse difference resultants
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 107, 页码: 279-298
Authors:
Yuan, Chun-Ming
;
Zhang, Zhi-Yong
Favorite
  |  
View/Download:21/0
  |  
Submit date:2021/10/26
Sparse difference resultant
Laurent transformally essential system
Sparse resultant
Complexity
On the existence of telescopers for rational functions in three variables
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 104, 页码: 494-522
Authors:
Chen, Shaoshi
;
Du, Lixin
;
Wang, Rong-Hua
;
Zhu, Chaochao
Favorite
  |  
View/Download:29/0
  |  
Submit date:2021/04/26
Creative telescoping
Existence criterion
Reduction
Telescoper
Unirational differential curves and differential rational parametrizations
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 104, 页码: 539-562
Authors:
Fu, Lei
;
Li, Wei
Favorite
  |  
View/Download:39/0
  |  
Submit date:2021/04/26
Unirational differential curve
Proper differential rational parametrization
Differential resultants
Implicitization
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:81/0
  |  
Submit date:2020/09/23
Parametric multivariate polynomials
Gcd system
Minimal comprehensive Grobner system
Ideal intersection
Ideal quotient
Computing real radicals and S-radicals of polynomial systems
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 259-278
Authors:
El Din, Mohab Safey
;
Yang, Zhi-Hong
;
Zhi, Lihong
Favorite
  |  
View/Download:96/0
  |  
Submit date:2020/09/23
Polynomial system
Real radical
S-radical ideal
Semi-algebraic set
Real algebraic geometry
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2020, 卷号: 101, 页码: 367-386
Authors:
Huang, Qiao-Long
;
Gao, Xiao-Shan
Favorite
  |  
View/Download:28/0
  |  
Submit date:2020/09/23
Black box
Interpolation
Kronecker substitution
Apparent singularities of D-finite systems
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
Authors:
Chen, Shaoshi
;
Kauers, Manuel
;
Li, Ziming
;
Zhang, Yi
Favorite
  |  
View/Download:44/0
  |  
Submit date:2020/01/10
D-finite system
Grobner basis
Ordinary point
Formal power series
Apparent singularity
Desingularization
Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 93, 页码: 133-147
Authors:
Chen, Shaoshi
;
Koutschan, Christoph
Favorite
  |  
View/Download:56/0
  |  
Submit date:2019/03/11
Wilf-Zeilberger conjecture
Hypergeometric term
Properness
Holonomic function
D-finite function
Ore-Sato theorem
Difference indices of quasi-prime difference algebraic systems
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 87, 页码: 1-13
Authors:
Wang, Jie
Favorite
  |  
View/Download:49/0
  |  
Submit date:2018/07/30
Difference index
Order of difference ideal
Hilbert-Levin regularity
Difference ideal membership problem
Observability of Automata Networks: Fixed and Switching Cases
期刊论文
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2018, 卷号: 29, 期号: 4, 页码: 1388-1394
Authors:
Li, Rui
;
Hong, Yiguang
;
Wang, Xingyuan
Favorite
  |  
View/Download:43/0
  |  
Submit date:2018/07/30
Automata networks
conjugacy
observability
recurrent neural networks
switched systems