Tell your friends about this item:
Automated Inequality Proving And Discovering
Xia, Bican (Peking Univ, China)
Automated Inequality Proving And Discovering
Xia, Bican (Peking Univ, China)
This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering.
344 pages
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | August 5, 2016 |
ISBN13 | 9789814759113 |
Publishers | World Scientific Publishing Co Pte Ltd |
Pages | 344 |
Dimensions | 635 g |
See all of Xia, Bican (Peking Univ, China) ( e.g. Hardcover Book )