296 records matched your query
01203aam a22003138i 4500 001 57B065EE8B8A11E6A6C758ADDAD10320 003 SILO 005 20161006010101 008 160517t20162016si a b 001 0 eng 010 $a 2016018215 020 $a 9814759112 020 $a 9789814759113 035 $a (OCoLC)936344894 040 $a DLC $b eng $e rda $c DLC $d YDXCP $d BTCTA $d OCLCO $d OCLCQ $d SINLB $d OCLCO $d IWA $d SILO 042 $a pcc 100 1 $a Xia, Bican, $e author. 245 10 $a Automated inequality proving and discovering / $c Bican Xia (Peking University, China), Lu Yang (Chinese Academy of Sciences, China). 264 1 $a Singapore ; $b World Scientific, $c [2016] 300 $a xii, 332 pages : $b illustrations ; $c 24 cm 504 $a Includes bibliographical references (pages 315-326) and index. 650 0 $a Inequalities (Mathematics) $x Data processing. 650 0 $a Numerical analysis $x Data processing. 650 0 $a Mathematical statistics $x Data processing. 650 0 $a Algorithms. 700 1 $a Yang, Lu, $d 1936- $e author. 941 $a 1 952 $l USUX851 $d 20180403015740.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=57B065EE8B8A11E6A6C758ADDAD10320 994 $a 92 $b IWAInitiate Another SILO Locator Search