Booth Id:
MATH004
Category:
Mathematics
Year:
2019
Finalist Names:
Huseynov, Zamin (School: Baku European Lyceum)
Abstract:
There’s no doubt that in recent years the connection between different subjects is really cruical. For this exact reason I intend to proof mathematical theories with the help of syllogisms. This project creates a new official proofing method that is both faster and more convenient than the traditional method. The other cons of this project is that it can solve complex and time consuming theorems that were a lot more harder for a human being to solve. Compared to the popular proofing methods nowadays this project is a lot more compatible. By conducting this to automatic mathematical proofing programs progress could be made in proofing as a whole.