Automated Inequality Proving and Discovering - Xia Bican Et Al (World Scientific, 2016)
Keywords: Mathematics