|
|
|||
|
||||
OverviewThis textbook presents various automatic techniques based on Groebner 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. Full Product DetailsAuthor: Pavel Pech (Univ Of South Bohemia, Czech Republic)Publisher: World Scientific Publishing Co Pte Ltd Imprint: World Scientific Publishing Co Pte Ltd Dimensions: Width: 15.50cm , Height: 1.90cm , Length: 23.40cm Weight: 0.494kg ISBN: 9789812709424ISBN 10: 9812709428 Pages: 252 Publication Date: 11 December 2007 Audience: College/higher education , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: Out of stock The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |