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