Automated Inequality Proving and Discovering
by Bican Xia, Lu Yang Hardcover 2016
- Author: Bican Xia, Lu Yang
- ISBN 13: 9789814759113
- ISBN 10: 9814759112
- Publication Year: 2016
- Language: English
Specifications
Index-109814759112
LanguageEnglish
Index-139789814759113
Period-
Class Track-
Publisher- (2016)
Pages-