Skip to content

Automated Inequality Proving and Discovering
Stock Photo: Cover May Be Different

Automated Inequality Proving and Discovering Hardcover - 2016

by Xia, Bican

  • Used

Description

UsedVeryGood. Fast Shipping - Safe and Secure 7 days a week!
UsedVeryGood
NZ$82.96
NZ$4.98 Shipping to USA
Standard delivery: 2 to 8 days
More Shipping Options
Ships from Suffolk Books Inc (New York, United States)

Details

  • Title Automated Inequality Proving and Discovering
  • Author Xia, Bican
  • Binding Hardcover
  • Condition UsedVeryGood
  • Pages 344
  • Volumes 1
  • Language ENG
  • Publisher World Scientific Publishing Company
  • Date 2016-08-05
  • Bookseller's Inventory # 3TWDDA001X2T
  • ISBN 9789814759113 / 9814759112
  • Weight 1.4 lbs (0.64 kg)
  • Dimensions 9.1 x 6.1 x 0.9 in (23.11 x 15.49 x 2.29 cm)

About Suffolk Books Inc New York, United States

Biblio member since 2021
Seller rating: This seller has earned a 4 of 5 Stars rating from Biblio customers.

Used Book sellers for over 20 years

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Suffolk Books Inc

From the publisher

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.