Show simple item record

dc.contributor.authorBraude, Ericen_US
dc.contributor.authorAbdyldayev, Satbeken_US
dc.date.accessioned2018-03-29T19:44:45Z
dc.date.available2018-03-29T19:44:45Z
dc.identifier.citationEric Braude, Satbek Abdyldayev. "Generalizing Morley’s and Other Theorems with Automated Realization." Journal of Automated Reasoning,
dc.identifier.issn0168-7433
dc.identifier.issn1573-0670
dc.identifier.urihttps://hdl.handle.net/2144/27902
dc.description.abstractA 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.en_US
dc.relation.ispartofJournal of Automated Reasoning
dc.subjectArtificial intelligence and image processingen_US
dc.subjectCognitive scienceen_US
dc.subjectComputation theory & mathematicsen_US
dc.subjectMorley’s theoremen_US
dc.subjectAngle constraintsen_US
dc.subjectTheorem generationen_US
dc.subjectTheorem verificationen_US
dc.titleGeneralizing Morley’s and other theorems with automated realizationen_US
dc.typeArticleen_US
dc.identifier.doi10.1007/s10817-017-9435-3
pubs.elements-sourcecrossrefen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, Metropolitan Collegeen_US
pubs.publication-statusPublished onlineen_US
dc.date.online2017-09-27
dc.date.online2017-09-27


This item appears in the following Collection(s)

Show simple item record