Automated Deduction in Geometry

Discover the cutting-edge research in geometric reasoning with Automated Deduction in Geometry by Francisco Botana. This comprehensive volume, published by Springer International Publishing AG in 2015, presents the thoroughly refereed post-workshop proceedings from the 10th International Workshop on Automated Deduction in Geometry, held in Coimbra, Portugal, in July 2014. Spanning 181 pages, this first edition delves into the latest advancements in automated reasoning, showcasing significant trends and methodologies in the field. Ideal for researchers and enthusiasts alike, this book is a vital resource for anyone looking to deepen their understanding of automated deduction in geometry. Enhance your library with this essential title today!