دورية أكاديمية
Morley’s theorem revisited: Origami construction and automated proof
العنوان: | Morley’s theorem revisited: Origami construction and automated proof |
---|---|
المؤلفون: | Ida, Tetsuo, Kasem, Asem, Ghourabi, Fadoua, Takahashi, Hidekazu |
المصدر: | In Journal of Symbolic Computation 2011 46(5):571-583 |
قاعدة البيانات: | ScienceDirect |
تدمد: | 07477171 |
---|---|
DOI: | 10.1016/j.jsc.2010.10.007 |