Title: Automated Inequality Proving and Discovering
Subjects: Inequalities (mathematics), Numerical analysis, data processing, Mathematical statistics, Algorithms