Automated Inequality Proving And Discovering (Hardcover)

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.See Press Release: A collection of practical algorithms for polynomial inequality proving and discovering

General

Imprint:	World Scientific Publishing Co Pte Ltd
Country of origin:	Singapore
Release date:	August 2016
First published:	2016
Authors:	Bican Xia • Lu Yang
Dimensions:	231 x 155 x 23mm (L x W x T)
Format:	Hardcover
Pages:	344
ISBN-13:	978-981-4759-11-3
Categories:	Books > Science & Mathematics > Mathematics > Algebra > General
LSN:	981-4759-11-2
Barcode:	9789814759113

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!