Selected Topics In Geometry With Classical Vs. Computer Proving
by
Pavel Pech
Book Details
Format
Hardback or Cased Book
ISBN-10
9812709428
ISBN-13
9789812709424
Publisher
World Scientific Publishing Co Pte Ltd
Imprint
World Scientific Publishing Co Pte Ltd
Country of Manufacture
SG
Country of Publication
GB
Publication Date
Dec 11th, 2007
Print length
252 Pages
Weight
488 grams
Dimensions
23.10 x 16.30 x 1.80 cms
Product Classification:
Geometry
Ksh 17,100.00
Re-Printing
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Presents various techniques of elimination based on Grobner bases to prove well-known geometrical theorems and formulas. This title solves problems classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches.
This textbook presents various automatic techniques based on Gröbner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects — which cannot be easily done with a ruler and compass.Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically — without using computer where possible — so that readers can compare the strengths and weaknesses of both approaches.
Get Selected Topics In Geometry With Classical Vs. Computer Proving by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by World Scientific Publishing Co Pte Ltd and it has pages.
