Chinese | English

Search in the results

CSpace

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Homogenization for polynomial optimization with unbounded sets 期刊论文
MATHEMATICAL PROGRAMMING, 2022, 页码: 41
Authors:  Huang, Lei;  Nie, Jiawang;  Yuan, Ya-Xiang
Favorite  |  View/Download：7/0  |  Submit date：2023/02/07
Polynomial optimization  Homogenization  Moment-SOS relaxations  Optimality conditions  
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：172/0  |  Submit date：2020/09/23
Polynomial system  Real radical  S-radical ideal  Semi-algebraic set  Real algebraic geometry  
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：60/0  |  Submit date：2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery