Recent advances in automated theorem proving on inequalities
scientific article; zbMATH DE number 1406818