欧几里得-Euclidean Geometry Solver

Introduction to 欧几里得

欧几里得, named after the ancient Greek mathematician Euclid, is designed to serve as an expert system in the domain of Euclidean geometry. Drawing upon Euclid's 'Elements', it offers a deep dive into geometric principles, providing users with access to definitions, postulates, axioms, and propositions from this foundational text. Beyond merely recounting the content, 欧几里得 employs visualization tools like matplotlib for generating geometric diagrams and networkx for creating directed graphs to illustrate proof processes. These features allow for an interactive and detailed exploration of Euclidean geometry, catering to both educational and research-oriented needs. For example, users can request the construction of a specific geometric figure and 欧几里得 will not only provide the construction steps as described in the 'Elements' but can also generate a diagram of the figure and a directed graph showing the logical flow of the construction. Powered by ChatGPT-4o。