Generalizing Morley’s and other theorems with automated realization
MetadataShow full item record
CitationEric Braude, Satbek Abdyldayev. "Generalizing Morley’s and Other Theorems with Automated Realization." Journal of Automated Reasoning,
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.