Automated Inequality Proving and Discovering by Bican Xia & Lu Yang: New