Automated Inequality Proving and Discovering by Xia, Bican [Hardback]
This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years.