ISBN-13: 9789814759113, 978-9814759113. 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.
eBay