Scan barcode
344 pages • missing pub info (editions)
ISBN/UID: 9789814759113
Format: Hardcover
Language: English
Publisher: World Scientific Publishing Company
Publication date: 05 August 2016
Description
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. Besi...
Community Reviews
Content Warnings
344 pages • missing pub info (editions)
ISBN/UID: 9789814759113
Format: Hardcover
Language: English
Publisher: World Scientific Publishing Company
Publication date: 05 August 2016
Description
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. Besi...
Community Reviews
Content Warnings