Currently Out Of Stock
Selected topics in geometry with classical vs. computer proving
Hardback
€137.75
Collect 413 Reward Points
- Currently Out Of Stock
- Book Synopsis
- 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.
- Product Details
-
- ISBN
- 9789812709424
- Format
- Hardback
- Publisher
- World Scientific Publishing, (11 December 2007)
- Number of Pages
- 239
- Weight
- 1.09 grams
- Language
- English
- Dimensions
- 9.23 x 6.09 x 18 mm
- Categories: