TY  - BOOK
AU  - Xia Bican Et Al
TI  - Automated Inequality Proving and Discovering
SN  - 9789814759120
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/9951#t=toc
ER  -