Tell your friends about this item:
Automated Inequality Proving and Discovering Xia, Bican (Peking University, China)
Automated Inequality Proving and Discovering
Xia, Bican (Peking University, 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 |