Reasoning on Figures of Theoretical Geometry Theorems

Summary

One of the most basic problems scientist need and want to solve using computers is, the process of solving mathematical problems. While addition, subtraction and multiplication seem fairly easy calculations to do, as one dives into mathematics and the calculations advance, the problems become more and more thought depleting. In this sense, having a system with the ability to solve mathematical problems varying in discipline and structure, would be nice to have. For example, in geometry in most cases calculations are part base and a combination of functional and logic programming for the implementation. The first step, from our perception, was to create a structure in which we could describe the Euclid's theorems. After that, we used this structure to generate the theorems' figure constructions. Then we generated all possible premises needed for a relevant conclusion, given the construction.