Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi. Morley s theorem revisited: Origami construction and automated proof. Journal of Symbolic Computation, 46(5):571-583, 2011. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Computational Origami of a Morley s TriangleTetsuo Ida, Hidekazu Takahashi, Mircea Marin. mkm 2005: 267-282 [doi] Proof Documents for Automated Origami Theorem ProvingFadoua Ghourabi, Tetsuo Ida, Asem Kasem. adg 2011: 78-97 [doi] Proof Assistant Decision Procedures for Formalizing OrigamiCezary Kaliszyk, Tetsuo Ida. mkm 2011: 45-57 [doi] Computational Origami Construction of a Regular Heptagon with Automated Proof of Its CorrectnessJudit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger. adg 2006: 19-33 [doi]
The following publications are possibly variants of this publication: