CSpace

Browse/Search Results:  1-2 of 2 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
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:144/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:48/0  |  Submit date:2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery