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 | 150 × 220 × 20 mm · 635 g |