Name: Automated Inequality Proving and Discovering (en Inglés)
SKU: 59553057
Price: 167.55 USD
Availability: InStock
Author: Xia, Bican ; Yang, Lu
ISBN: 9789814759113

portada Automated Inequality Proving and Discovering (en Inglés)

Automated Inequality Proving and Discovering (en Inglés)

Formato

Libro Físico

Autor

Bican Xia

Lu Yang

Editorial

World Scientific Publishing Company

Idioma

Inglés

N° páginas

344

Encuadernación

Tapa Dura

Dimensiones

23.1x15.5x2.3 cm

Peso

0.64 kg.

ISBN13

9789814759113

Categorías

Matemáticas discretas
Geometría
Optimización

Automated Inequality Proving and Discovering (en Inglés)

Bican Xia (Autor) · Lu Yang (Autor) · World Scientific Publishing Company · Tapa Dura

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 304.63$ 167.55

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 167.55

Llega entre el 13 Oct y el 26 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Automated Inequality Proving and Discovering (en Inglés)"

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.