Automated Inequality Proving and Discoveringby Bican Xia, Lu YangInequalities (mathematics)Numerical analysis, data processingMathematical statisticsAlgorithmsWriting a summary for young readers…For young readersBook data: Open Library