This page requires that JavaScript be enabled in your browser.
Learn how »
Automated Geometry Theorem Generation
Philip Todd
We present a method for automatically generating new geometry theorems using angle chasing techniques. Our method transforms rank-deficient matrices to incorporate line angles and bisectors, and outputs the theorems in the form of GeometricScene. It is suitable for solutions of bisector conditions.
Thanks for your feedback.
Channels: Technology Conference
1312 videos match your search.