Automatisiertes Testen und Entdecken von Ungleichheit, Hardcover von Xia, Bican; Yang,...
Automated Inequality Proving and Discovering, Hardcover by Xia, Bican; Yang, Lu, ISBN 9814759112, ISBN-13 9789814759113, Brand New, Free shipping in the US Xia and Yang focus on practical algorithms for automated inequality discovering and proving. They or their collaborators have implemented all the algorithms, they say, and they illustrate them in many examples. They have integrated some implementations in Maple. Among the topics are basics of the elimination method, zero decomposition of a polynomial system, the triangularization of a semi-algebraic system, real root classification, a dimension-decreasing algorithm, successive difference substitution, and proving inequalities beyond the Tarski model. Annotation ©2017 Ringgold, Inc., Portland, OR ()
Jetzt bei Ebay:
