000 00637nam a2200241Ia 4500
005 20260121112301.0
008 4750 260114s9999 xx 000 0 eng d
020 _a9789814759120
037 _aEBOOK
040 _aCRL
_beng
_cCRL
041 _aeng
_2eng
084 _qCRL
100 _aXia Bican Et Al
_9955123
245 0 _aAutomated Inequality Proving and Discovering
260 _bWorld Scientific
260 _bWSPC
260 _c2016
650 _aMathematics
_9955124
856 _uhttps://www.worldscientific.com/worldscibooks/10.1142/9951#t=toc
942 _cEBOOK
999 _c1542050
_d1542050