Automated Inequality Proving And Discovering by Bican Xia (English) Hardcover Bo
150,63 €
By Bican Xia, Lu Yang. 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.
Jetzt bei Ebay: