Bican Xia: 1 book

Book cover of Automated Inequality Proving and Discovering
by Bican Xia, Lu Yang
Language: English
Release Date: June 21, 2016

This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and...
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy