Automated Inequality Proving and Discovering
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2016
Language: eng
Number of pages: 300
ISBN-13: 9789814759113
Subjects: Inequalities (mathematics); Numerical analysis, data processing; Mathematical statistics; Algorithms