دورية أكاديمية

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