Generalizing Morley’s and other theorems with automated realization
Files
Accepted manuscript
Date
Authors
Braude, Eric
Abdyldayev, Satbek
Version
OA Version
Citation
Eric Braude, Satbek Abdyldayev. "Generalizing Morley’s and Other Theorems with Automated Realization." Journal of Automated Reasoning,
Abstract
A new approach is shown that mechanically proves various theorems in plane geometry by recasting them in terms of constraint satisfaction. A Python 3 implementation called GEOPAR affords transparent proofs of well-known theorems as well as new ones, including a generalization of Morley’s Theorem.