The Geometric Supposer
0
0
As an Amazon Associate and affiliate partner, Menrva Books earns from qualifying purchases. Learn more
Author Description
This book is about the Geometric Supposer, a computer program that can be used to discover and prove geometric theorems. It discusses the history of the Supposer, its algorithms, and its applications in mathematics education. The book also explores the broader implications of automated reasoning in geometry.
Menrva's Summary
THE THESIS
The Geometric Supposer investigates the development and application of a computer program designed to aid in geometric discovery and proof.
THE SCOPE MAP
- Exploration of the historical context and evolution of geometric reasoning tools.
- Detailed examination of the algorithms and logic behind the Geometric Supposer program.
- Case studies demonstrating how the Supposer can be used to generate and verify geometric conjectures.
- Discussion on the pedagogical implications of using such tools in mathematics education.
- Analysis of the program's capabilities and limitations in geometric problem-solving.
- Insights into the design principles of automated reasoning systems in mathematics.
THE AUTHORITY PERSPECTIVE
The book is recognized for its significant contribution to the field of computational geometry and its implications for mathematics education. It is often cited for its pioneering work in developing interactive tools for geometric exploration. The text is considered a foundational work for understanding the intersection of artificial intelligence and geometry. Its detailed exposition of the Geometric Supposer program makes it a valuable resource for researchers and educators interested in automated theorem proving and mathematical discovery.
Page Count:
254
Publication Date:
1993-01-01
ISBN-10:
0805807209
ISBN-13:
9780805807202
Non-Fiction
Mathematics
Computer Science
Education
Community Tags
Similar Books
