![](/img/cover-not-exists.png)
Automated Inequality Proving and Discovering || Successive Difference Substitution
Xia, Bican, Yang, LuVolume:
10.1142/99
Year:
2016
Language:
english
DOI:
10.1142/9789814759120_0010
File:
PDF, 311 KB
english, 2016