Automated inequality proving and discovering
Auteur :
Xia, Bican / Yang, Lu
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789814759113
Date de publication :
5 août 2016
Langue :
Anglais
Pays d'origine :
Singapour
This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering.