![](/img/cover-not-exists.png)
Automated Inequality Proving and Discovering || Triangularization of Semi-Algebraic System
Xia, Bican, Yang, LuVolume:
10.1142/99
Year:
2016
Language:
english
DOI:
10.1142/9789814759120_0003
File:
PDF, 258 KB
english, 2016