Morley s theorem revisited: Origami construction and automated proof

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]

Authors

Tetsuo Ida

This author has not been identified. Look up 'Tetsuo Ida' in Google

Asem Kasem

This author has not been identified. Look up 'Asem Kasem' in Google

Fadoua Ghourabi

This author has not been identified. Look up 'Fadoua Ghourabi' in Google

Hidekazu Takahashi

This author has not been identified. Look up 'Hidekazu Takahashi' in Google