%0 Journal Article %A N. N. Osipov %T Компьютерное доказательство теоремы об инцентрах %J Matematicheskoe Prosveshchenie %D 2014 %P 205-216 %I mathdoc %U http://geodesic.mathdoc.fr/item/MP_2014_a7/ %G ru %F MP_2014_a7