An application supporting the analysis of geometric problems

Abstract

The aim of this project was to design and implement an application that assists in proving geometric theorems. The application performs preliminary numerical tests, evaluates the potential truth of conjectures, and finds a logical proof based on Euclidean geometry theorems. After the problem is entered, the program conducts numerical analysis on multiple examples, providing an initial insight into the validity of the given conjecture. It then attempts to prove the conjecture analytically and by utilizing a database of geometric theorems. The user can support the process by adding geometric constructions.