![](/img/cover-not-exists.png)
Automated Inequality Proving and Discovering || Proving Inequalities Beyond the Tarski Model
Xia, Bican, Yang, LuVolume:
10.1142/99
Year:
2016
Language:
english
DOI:
10.1142/9789814759120_0011
File:
PDF, 256 KB
english, 2016