Share
mechanical theorem proving in geometries (in English)
Wu (Author)
·
springer publishing map
· Physical Book
mechanical theorem proving in geometries (in English) - wu
$ 52.09
$ 54.99
You save: $ 2.90
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Monday, July 15 and
Tuesday, July 16.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "mechanical theorem proving in geometries (in English)"
this book is a translation of professor wu?s seminal chinese book of 1984 on automated geometric theorem proving. the translation was done by his former student dongming wang jointly with xiaofan jin so that authenticity is guaranteed. meanwhile, automated geometric theorem proving based on wu?s method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. this book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
✓ Producto agregado correctamente al carro, Ir a Pagar.