Selected Topics In Geometry With Classical Vs. Computer Proving

Delve into the fascinating world of geometry with Selected Topics In Geometry With Classical Vs. Computer Proving by Pavel Pech. Published by World Scientific Publishing Co Pte Ltd in 2007, this hardback edition spans 252 pages, offering a comprehensive exploration of geometric techniques.

This insightful book introduces various elimination methods grounded in Grobner bases to effectively prove established geometrical theorems and formulas. What sets this title apart is its dual approach to problem-solving: it examines classical methods while also leveraging computer-based techniques, allowing readers to evaluate the pros and cons of each strategy.

Whether you're a student, educator, or a geometry enthusiast, this book provides valuable insights and practical applications that will enhance your understanding of geometry, highlighting the intersection of classical theories and modern computational methods.