Ancien livre de biblioth�que. Couverture diff�rente. Edition 1994. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.

N� de r�f. du vendeur E-820-476

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
�diteur: World Scientific Publishing Co Pte Ltd
Date de parution: 1994
Langue: anglais
ISBN � 10 chiffres: 9810215843
ISBN � 13 chiffres: 9789810215842
Reliure: Hardcover
�tat de l'article: Tr�s bon

A propos de ce titre

Synopsis

This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems.The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method.This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education.

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

Description de la librairie

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

SAS AMMAREAL
4 AV ARGAO, MORANGIS, 91420, France

Conditions de vente et de livraison

Conditions g�n�rales de vente

Droit de r�tractation

Conditions d'exp�dition

Frais d?exp�dition de France�vers�Etats-Unis

Frais d?exp�dition de France�vers�Etats-Unis
Quantit� command�e	5 � 7 jours ouvr�s	5 � 7 jours ouvr�s
Premier article	EUR 22.50	EUR 22.50

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.

Informations vendeur d�taill�es