Conte aos seus amigos sobre este 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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 5 de agosto de 2016 |
| ISBN13 | 9789814759113 |
| Editoras | World Scientific Publishing Co Pte Ltd |
| Páginas | 344 |
| Dimensões | 150 × 220 × 20 mm · 635 g |