你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Automated Inequality Proving and Discovering
Type
Physical Book
Language
English
Pages
344
Format
Hardcover
Dimensions
23.1x15.5x2.3 cm
Weight
0.64 kg.
ISBN13
9789814759113

Automated Inequality Proving and Discovering

Bican Xia (Author) · Lu Yang (Author) · World Scientific Publishing Company · Hardcover

Automated Inequality Proving and Discovering - Xia, Bican ; Yang, Lu

Cheaper New Book Imported to Taiwan
Delivery: 06 Nov - 19 Nov Shipping: 17 to 21 business days.
NT$ 5,446
Faster New Book Imported to Taiwan
Delivery: 22 Oct - 30 Oct Shipping: 6 to 7 business days.
NT$ 5,533
NT$ 5,446

Synopsis "Automated Inequality Proving and Discovering"

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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews