Articles liés à Automated Inequality Proving and Discovering

Automated Inequality Proving and Discovering - Couverture rigide

Xia, Bican; Yang, Lu

 
9789814759113: Automated Inequality Proving and Discovering
Couverture rigide
ISBN 10 : 9814759112 ISBN 13 : 9789814759113
Editeur : World Scientific Publishing Co Pte Ltd, 2016

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
World Scientific Publishing Co Pte Ltd
Date d'édition
2016
Langue
anglais
ISBN 10 
9814759112
ISBN 13 
9789814759113
Reliure
Relié
Nombre de pages
344
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Allemagne