New Proofing Method with Syllogism
ISEF · 2019 Mathematics
Overview
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.
Competition history
- ISEF 2019
Resources
Related projects
ISEF · 2014
A New Method of Discovering Mathematical Proofs
ISEF · 2021
Stimulating Mathematical Thinking Through the System of Geometric Exercises and Games Designed by Scratch Programming
ISEF · 2021
Automated Conjecturing in Continued Fractions
ISEF · 2014
Mysteries of the Euclidean Algorithm Revealed with Applications
Closest projects by meaning, across every fair and year in the corpus.
Source: Regeneron International Science and Engineering Fair