by
Bican Xia, Lu Yang
Language: English
Release Date: June 21, 2016
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. Besides brief introduction to some classical results and...