Automated Inequality Proving And Discovering
Regular price
€122.99
14 days return policy
Shipping & Delivery
A01=Bican Xia
A01=Lu Yang
Age Group_Uncategorized
Age Group_Uncategorized
Author_Bican Xia
Author_Lu Yang
automatic-update
Category1=Non-Fiction
Category=PBF
COP=Singapore
Delivery_Delivery within 10-20 working days
eq_isMigrated=2
eq_nobargain
Inequality Proving
Language_English
PA=Available
Polynomial Optimization
Price_€100 and above
PS=Active
Quantifier Elimination
Real Root Classification
Real Root Counting
Real Root Isolation
softlaunch
Symbolic Computation
Product details
- ISBN 9789814759113
- Publication Date: 05 Aug 2016
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
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 related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root counting, real root classification, improved CAD projection, dimension-decreasing algorithm, difference substitution, and so on. All the algorithms were rigorously proved and the implementations are demonstrated by lots of examples in various backgrounds such as algebra, geometry, biological science, and computer science.
