Generalizing Morley's and other theorems with automated realization

DOI10.1007/s10817-017-9435-3zbMath1398.68480OpenAlexW2760518069MaRDI QIDQ1655490

Satbek Abdyldayev, Eric J. Braude

Publication date: 9 August 2018

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/2144/27902

zbMATH Keywords

realizationMorley's theoremangle constraintsautomated geometry proofsautomated geometry reasoningtheorem generationtheorem verification

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04)

Uses Software

• Python
• GitHub
• GEOPAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The area method. A recapitulation
• Basic principles of mechanical theorem proving in elementary geometries
• The Morley Trisector Theorem
• Machine Proofs in Geometry
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles

This page was built for publication: Generalizing Morley's and other theorems with automated realization