Share
mechanical theorem proving in geometries
Wu (Author)
·
springer publishing map
· Physical Book
mechanical theorem proving in geometries - wu
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, July 26 and
Friday, August 02.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "mechanical theorem proving in geometries"
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.