×
验证码:
换一张
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]
Authors
Wang Dingk... [2]
Document Type
Journal ar... [3]
Date Issued
2022 [1]
2021 [1]
2017 [1]
Language
英语 [3]
Source Publication
JOURNAL OF... [1]
JOURNAL OF... [1]
JOURNAL OF... [1]
Funding Project
Beijing Ad... [1]
CAS-SAFEA ... [1]
Chinese Ac... [1]
National N... [1]
National N... [1]
National N... [1]
More...
Indexed By
SCI [2]
Funding Organization
×
Knowledge Map
CSpace
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
QQ
Weibo
Feedback
Browse/Search Results:
1-3 of 3
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
Issue Date Ascending
Issue 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
EXTENSION OF COHOMOLOGY CLASSES AND HOLOMORPHIC SECTIONS DEFINED ON SUBVARIETIES
期刊论文
JOURNAL OF ALGEBRAIC GEOMETRY, 2022, 卷号: 31, 期号: 1, 页码: 137-179
Authors:
Zhou, Xiangyu
;
Zhu, Langfeng
Favorite
  |  
View/Download:80/0
  |  
Submit date:2022/04/02
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:196/0
  |  
Submit date:2020/09/23
Parametric multivariate polynomials
Gcd system
Minimal comprehensive Grobner system
Ideal intersection
Ideal quotient
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method
期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
Authors:
Zhou, Jie
;
Wang, Dingkang
;
Sun, Yao
Favorite
  |  
View/Download:74/0
  |  
Submit date:2018/07/30
Zero divisor
True on components
Grobner basis
Geometric theorem proving
Geometric theorem discovery