Book

Automated Inequality Proving and Discovering

by Bican Xia, Lu Yang